Search results for "AutoFocus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Andreas Bauer 0002, Jan Romberg, Bernhard Schätz	Integrierte Entwicklung von Automotive-Software mit AutoFocus.	Inform., Forsch. Entwickl.	2005	DBLP DOI BibTeX RDF	Embedded software, Synchronous languages, AutoFocus, Automotive software engineering
3	Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig	Traffic Lights - An AutoFocus Case Study.	ACSD	1998	DBLP DOI BibTeX RDF	graphical debugging, simulation, visualization, embedded systems, prototyping, validation, case study, systems development, AutoFocus
2	Robert L. Morrison Jr., Minh N. Do, David C. Munson Jr.	MCA: A Multichannel Approach to SAR Autofocus.	IEEE Transactions on Image Processing	2009	DBLP DOI BibTeX RDF
2	Sang-Yong Lee, Y. Kumar, Ji-Man Cho, Sang-Won Lee, Soo-Won Kim	Enhanced Autofocus Algorithm Using Robust Focus Measure and Fuzzy Reasoning.	IEEE Trans. Circuits Syst. Video Techn.	2008	DBLP DOI BibTeX RDF
2	Kuang-Hung Liu, David C. Munson	Autofocus in multistatic passive SAR imaging.	ICASSP	2008	DBLP DOI BibTeX RDF
2	Liguo Chen, Zhiliang Yang, Lining Sun	Fast autofocus of microscopy images based on Depth-from-Defocus.	IROS	2008	DBLP DOI BibTeX RDF
2	Robert L. Morrison Jr., Minh N. Do, David C. Munson	SAR Image Autofocus By Sharpness Optimization: A Theoretical Study.	IEEE Transactions on Image Processing	2007	DBLP DOI BibTeX RDF
2	Brian D. Rigling, Randolph L. Moses	Motion measurement errors and autofocus in bistatic SAR.	IEEE Transactions on Image Processing	2006	DBLP DOI BibTeX RDF
2	Robert L. Morrison Jr., Minh N. Do	Multichannel Autofocus Algorithm for Synthetic Aperture Radar.	ICIP	2006	DBLP DOI BibTeX RDF
2	Robert L. Morrison Jr., Minh N. Do	A multichannel approach to metric-based SAR autofocus.	ICIP	2005	DBLP DOI BibTeX RDF
2	Christiaan Fluit	AutoFocus: Semantic Search for the Desktop.	IV	2005	DBLP DOI BibTeX RDF
2	Monika Vetterling, Guido Wimmel, Alexander K. Wißpeintner	Secure systems development based on the common criteria: the PalME project.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	graphical description techniques, software engineering, formal methods, requirements engineering, case study, software design, development process, CASE, security engineering, common criteria, AutoFocus
2	Guido Wimmel, Jan Jürjens	Specification-Based Test Generation for Security-Critical Systems Using Mutations.	ICFEM	2002	DBLP DOI BibTeX RDF	E-Commerce Systems, Security-Critical Systems, Validation and Analysis, Computer-aided Software Engineering (CASE), Formal Methods, Test Case Generation, Test Specification, AutoFocus
2	Jeffrey A. Fayman, Oded Sudarsky, Ehud Rivlin, Michael Rudzsky	Zoom tracking and its applications.	Mach. Vis. Appl.	2001	DBLP DOI BibTeX RDF	Zoom tracking, Depth from zoom, Optical flow, Active vision, Autofocus
2	Oscar Slotosch	Modelling and Validation: AUTOFOCUS and Quest.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Model checking, Interactive theorem proving, State transition diagrams, Event traces
2	Manfred Broy, Franz Huber, Bernhard Schätz	AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme.	Inform., Forsch. Entwickl.	1999	DBLP DOI BibTeX RDF	Software Engineering Werkzeuge, Entwicklung verteilter und eingebetteter Systeme, formale Methoden und Techniken, Prototyping
1	Kuang-Hung Liu, Ami Wiesel, David C. Munson	Synthetic Aperture Radar Autofocus Based on a Bilinear Model.	IEEE Transactions on Image Processing	2012	DBLP DOI BibTeX RDF
1	Piotr Samczynski	Superconvergent Velocity Estimator for an Autofocus Coherent MapDrift Technique.	IEEE Geosci. Remote Sensing Lett.	2012	DBLP DOI BibTeX RDF
1	Joshua N. Ash	An Autofocus Method for Backprojection Imagery in Synthetic Aperture Radar.	IEEE Geosci. Remote Sensing Lett.	2012	DBLP DOI BibTeX RDF
1	Hubert M. J. Cantalloube, Carole E. Nahum	Multiscale Local Map-Drift-Driven Multilateration SAR Autofocus Using Fast Polar Format Image Synthesis.	IEEE T. Geoscience and Remote Sensing	2011	DBLP DOI BibTeX RDF
1	Ran Tao, Wei Zhang, Yan-Lei Li	Time-frequency filtering-based autofocus.	Signal Processing	2011	DBLP DOI BibTeX RDF
1	David Trachtenherz	AutoFocus Stream Processing for Single-Clocking and Multi-Clocking Semantics.	Archive of Formal Proofs	2011	DBLP BibTeX RDF
1	Kuang-Hung Liu, David C. Munson	Fourier-Domain Multichannel Autofocus for Synthetic Aperture Radar.	IEEE Transactions on Image Processing	2011	DBLP DOI BibTeX RDF
1	Bruce A. Campbell, Nathaniel E. Putzig, Lynn M. Carter, Roger J. Phillips	Autofocus Correction of Phase Distortion Effects on SHARAD Echoes.	IEEE Geosci. Remote Sensing Lett.	2011	DBLP DOI BibTeX RDF
1	Dongjiang Xu	A unified approach to autofocus and alignment for pattern localization using hybrid weighted Hausdorff distance.	Pattern Recognition Letters	2011	DBLP DOI BibTeX RDF
1	Kuang-Hung Liu, Ami Wiesel, David C. Munson	Maximum likelihood SAR autofocus with low-return region.	ICASSP	2011	DBLP DOI BibTeX RDF
1	Daniel A. Vaquero, Natasha Gelfand, Marius Tico, Kari Pulli, Matthew Turk	Generalized autofocus.	WACV	2011	DBLP DOI BibTeX RDF
1	Giulio Iannello, Leonardo Onofri, Gianpaolo Punzo, Paolo Soda	An efficient autofocus algorithm for indirect immunofluorescence applications.	CBMS	2011	DBLP DOI BibTeX RDF
1	Dong-Chen Tsai, Homer H. Chen	Effective autofocus decision using reciprocal focus profile.	ICIP	2011	DBLP DOI BibTeX RDF
1	Zain-ul-Abdin, Anders Ahlander, Bertil Svensson	Programming Real-Time Autofocus on a Massively Parallel Reconfigurable Architecture Using Occam-pi.	FCCM	2011	DBLP DOI BibTeX RDF
1	Andrea Cacciamano, Elisa Giusti, Amerigo Capria, Marco Martorella, Fabrizio Berizzi	Contrast-Optimization-Based Range-Profile Autofocus for Polarimetric Stepped-Frequency Radar.	IEEE T. Geoscience and Remote Sensing	2010	DBLP DOI BibTeX RDF
1	Bongsub Song, Nayeon Cho, Byunghoon Kim, Jung-Han Choi, Young-Lok Kim, Jinwook Burm	An Autofocus Sensor With Global Shutter Using Offset-Free Frame Memory.	IEEE Trans. on Circuits and Systems	2010	DBLP DOI BibTeX RDF
1	Hyun Jeong Cho, David C. Munson	Multichannel SAR Autofocus using multiple low-return constraints.	ICASSP	2010	DBLP DOI BibTeX RDF
1	Kuang-Hung Liu, Ami Wiesel, David C. Munson	Synthetic Aperture Radar autofocus via Semidefinite Relaxation.	ICASSP	2010	DBLP DOI BibTeX RDF
1	David Trachtenherz	Formale Semantik modularer Zeitverfeinerung in AutoFocus.	Software Engineering	2010	DBLP BibTeX RDF
1	Annelie Wyholt, Lars M. H. Ulander	Evaluating VHF-band SAR Autofocus Algorithms using a Forest Backscatter Model.	IGARSS	2009	DBLP DOI BibTeX RDF
1	Ni Jun	Auto-Focus Algorithm for Moving Target Image.	ICIG	2009	DBLP DOI BibTeX RDF	sharpness function, image processing, evaluation function, autofocus
1	Karlus Alexander Câmara de Macedo, Rolf Scheiber, Alberto Moreira	An Autofocus Approach for Residual Motion Errors With Application to Airborne Repeat-Pass SAR Interferometry.	IEEE T. Geoscience and Remote Sensing	2008	DBLP DOI BibTeX RDF
1	Weixian Tan, Daojing Li, Wen Hong	Airborne Spotlight SAR Imaging with Super High Resolution based on Back-Projection and Autofocus Algorithm.	IGARSS	2008	DBLP DOI BibTeX RDF
1	Liguo Chen, Zhiliang Yang, Lining Sun	Three-Dimensional Tracking at Micro-scale Using a Single Optical Microscope.	ICIRA	2008	DBLP DOI BibTeX RDF	microscope, autofocus, microassembly, 3D tracking, micromanipulation
1	Berna Erol, Emilio R. Antúnez, Jonathan J. Hull	HOTPAPER: multimedia interaction with paper using mobile phones.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	linking paper to electronic data, markerless linking, mobile interaction, mobile imaging
1	Karlus Alexander Câmara de Macedo, Rolf Scheiber, Alberto Moreira	An autofocus approach for residual motion errors with application to airborne repeat-pass SAR interferometry.	IGARSS	2007	DBLP DOI BibTeX RDF
1	Marco Martorella, Mark Preiss, Brett Haywood, Bevan Bates	Polarimetric phase gradient autofocus.	IGARSS	2007	DBLP DOI BibTeX RDF
1	Manfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann, Bernhard Schätz, Maria Spichkova, Doris Wild	Service-Oriented Modeling of CoCoME with Focus and AutoFocus.	CoCoME	2007	DBLP DOI BibTeX RDF
1	Florian Hölzl, Martin Feilkas	AutoFocus 3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Andreas Bauer 0002, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun 0003, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein	Das AutoMoDe-Projekt.	Inform., Forsch. Entwickl.	2007	DBLP DOI BibTeX RDF	AutoMoDe, embedded software, synchronous languages, Automotive software engineering
1	Paolo Soda, Amelia Rigon, Antonella Afeltra, Giulio Iannello	Automatic Acquisition of Immunofluorescence Images: Algorithms and Evaluation.	CBMS	2006	DBLP DOI BibTeX RDF
1	Bernhard Schätz, Peter Braun 0003, Franz Huber, Alexander K. Wißpeintner	Checking and Transforming Models with AutoFOCUS.	ECBS	2005	DBLP DOI BibTeX RDF
1	Dirk Ziegenbein, Peter Braun 0003, Ulrich Freund, Andreas Bauer 0002, Jan Romberg, Bernhard Schätz	AutoMoDe - Model-Based Development of Automotive Software.	DATE	2005	DBLP DOI BibTeX RDF
1	Jia Xu, Yingning Peng, Xiang-Gen Xia	Parametric autofocus of SAR imaging - inherent accuracy limitations and realization.	IEEE T. Geoscience and Remote Sensing	2004	DBLP DOI BibTeX RDF
1	Andreas Bauer 0002, Jan Romberg, Bernhard Schätz	Integrierte Entwicklung von Automotive-Software mit AutoFOCUS.	GI Jahrestagung	2004	DBLP BibTeX RDF
1	Jan Romberg, Andreas Bauer 0002	Loose synchronization of event-triggered networks for distribution of synchronous programs.	EMSOFT	2004	DBLP DOI BibTeX RDF	scheduling, embedded software, synchronous languages, AutoFocus, code distribution
1	Martin Deubler, Johannes Grünbauer, Jan Jürjens, Guido Wimmel	Sound development of secure service-based systems.	ICSOC	2004	DBLP DOI BibTeX RDF	security, UML, automotive, model-based software engineering, service-based systems, autofocus
1	Martin Deubler, Johannes Grünbauer, Gerhard Popp, Guido Wimmel, Chris Salzmann	Tool Supported Development of Service-Based Systems.	APSEC	2004	DBLP DOI BibTeX RDF
1	Miguel Enrique Bravo-Zanoguera, Miguel A. Paz-González, Jeffrey H. Price	Method for the Focal Plane Determination of Microscopic Objects.	CONIELECOMP	2004	DBLP DOI BibTeX RDF
1	Owen Noel Newton Fernando, Kazuya Adachi, Michael Cohen	Phantom Sources for Separation of Listening and Viewing Positions of Multipresent Avatars in Narrowcasting Collaborative Virtual Environments.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
1	Ngee Leng Tan, Sze Li Lee	Long integration fine resolution sar image formation.	ICIP	2004	DBLP DOI BibTeX RDF
1	Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel	Model-based testing for real.	STTT	2004	DBLP DOI BibTeX RDF	Model checking, Symbolic execution, Behavior models, Test case generation
1	Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar Slotosch, Gabor Hahn	AutoFOCUS and the MoDe Tool.	ACSD	2003	DBLP DOI BibTeX RDF
1	Cristian Estan, Stefan Savage, George Varghese	Automatically inferring patterns of resource consumption in network traffic.	SIGCOMM	2003	DBLP DOI BibTeX RDF	data mining, network monitoring, traffic measurement
1	Jan Romberg, Oscar Slotosch, Gabor Hahn	MoDe: A Method for System-Level Architecture Evaluation. (PDF / PS)	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Johannes Grünbauer, H. Hollmann, Jan Jürjens, Guido Wimmel	Modelling and Verification of Layered Security Protocols: A Bank Application.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	H. L. Chan, T. S. Yeo	Comments on "Non-iterative quality phase-gradient autofocus (QPGA) algorithm for spotlight SAR imagery".	IEEE T. Geoscience and Remote Sensing	2002	DBLP DOI BibTeX RDF
1	Robert L. Morrison Jr., David C. Munson Jr.	An experimental study of a new entropy-based SAR autofocus technique.	ICIP	2002	DBLP BibTeX RDF
1	David von Oheimb, Volkmar Lotz	Formal Security Analysis with Interacting State Machines.	ESORICS	2002	DBLP DOI BibTeX RDF
1	David von Oheimb	Interacting State Machines: A Stateful Approach to Proving Security.	FASec	2002	DBLP DOI BibTeX RDF
1	Zhishun She, D. A. Gray, Robert E. Bogner	Autofocus for inverse synthetic aperture radar (ISAR) imaging.	Signal Processing	2001	DBLP DOI BibTeX RDF
1	Peter Braun 0003, Oscar Slotosch	Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator.	OMER	2001	DBLP BibTeX RDF
1	Jan Jürjens, Guido Wimmel	Formally Testing Fail-Safety of Electronic Purse Protocols.	ASE	2001	DBLP DOI BibTeX RDF
1	Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps	Model Based Testing in Evolutionary Software Development.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF	Cleanroom SW Engineering, Rapid Prototyping, Extreme Programming, Reactive Systems, Constraint Logic Programming, Incremental Development, Test Case Generation
1	Peter Braun 0003, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch	Consistent Integration of Formal Methods.	TACAS	2000	DBLP DOI BibTeX RDF
1	Jan Philipps, Oscar Slotosch	The Quest for Correct Systems: Model Checking of Diagrams and Datatypes.	APSEC	1999	DBLP DOI BibTeX RDF	model checking, formal methods, software development environments, software development tools
1	Bernhard Schätz, Franz Huber	Integrating Formal Description Techniques.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
1	Oscar Slotosch	QUEST: Overview over the Project.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Ricardo Orosco	AutoFocus: User Assistance in Information Visualization.	HIM	1997	DBLP BibTeX RDF
1	David Atkinson, Derek L. G. Hill, Peter N. R. Stoyle, Paul E. Summers, Steven F. Keevil	An Autofocus Algorithm for the Automatic Correction of Motion Artifacts in MR Images.	IPMI	1997	DBLP DOI BibTeX RDF
1	Franz Huber, Bernhard Schätz	Rapid Prototyping with AutoFocus.	FBT	1997	DBLP BibTeX RDF
1	Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies	AutoFocus: A Tool for Distributed Systems Specification.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	J. E. Fischer, D. Homeister, J. Lehmler, G. Roos	High Speed Autofocus for Microscopic Images.	MVA	1992	DBLP BibTeX RDF
1	Michael A. Salsburg	The Value Analysis Methodology: An "Autofocus" for Information Technology.	Int. CMG Conference	1991	DBLP BibTeX RDF