Search results for "invariants"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani	A Logic of Reachable Patterns in Linked Data-Structures.	FoSSaCS	2006	DBLP DOI BibTeX RDF
13	Carlos López-Franco, Eduardo Bayro-Corrochano	Omnidirectional Vision and Invariant Theory for Robot Navigation Using Conformal Geometric Algebra.	ICPR (1)	2006	DBLP DOI BibTeX RDF
13	Frances Perry, Limin Jia 0001, David Walker 0001	Expressing heap-shape contracts in linear logic.	GPCE	2006	DBLP DOI BibTeX RDF	heap shape, contracts, linear logic, assertions
13	Hang Zhang, Dayong Luo	A New Method for Traffic Signs Classification Using Probabilistic Neural Networks.	ISNN (2)	2006	DBLP DOI BibTeX RDF
13	Pierrick Gaudry, T. Houtmann, David R. Kohel, Christophe Ritzenthaler, A. Weng	The 2-Adic CM Method for Genus 2 Curves with Application to Cryptography.	ASIACRYPT	2006	DBLP DOI BibTeX RDF
13	Erik Reeber, Warren A. Hunt Jr.	A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA).	IJCAR	2006	DBLP DOI BibTeX RDF
13	Ana R. Cavalli, Dario Vieira	An Enhanced Passive Testing Approach for Network Protocols.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
13	Robert Bruce Findler, Matthias Blume	Contracts as Pairs of Projections.	FLOPS	2006	DBLP DOI BibTeX RDF
13	Janina Schulz, Thorsten Schmidt, Olaf Ronneberger, Hans Burkhardt, Taras Pasternak, Alexander Dovzhenko, Klaus Palme	Fast Scalar and Vectorial Grayscale Based Invariant Features for 3D Cell Nuclei Localization and Classification.	DAGM-Symposium	2006	DBLP DOI BibTeX RDF
13	Qiulei Dong, Yihong Wu 0002, Zhanyi Hu	Gesture Recognition Using Quadratic Curves.	ACCV (1)	2006	DBLP DOI BibTeX RDF
13	Hongdong Li, Richard I. Hartley	New 3D Fourier Descriptors for Genus-Zero Mesh Objects.	ACCV (1)	2006	DBLP DOI BibTeX RDF
13	Tanveer Fathima Syeda-Mahmood, Thomas G. Zimmerman	FormPad: A Camera-Assisted Digital Notepad.	ACCV (2)	2006	DBLP DOI BibTeX RDF
13	Limsoon Wong	Adventures of a Logician-Engineer: A Journey through Logic, Engineering, Medicine, Biology, and Statistics.	SYNASC	2006	DBLP DOI BibTeX RDF
13	Gabriel Istrate, Anders Hansson, Guanhua Yan	Packet Reordering Metrics: Some Methodological Considerations.	ICNS	2006	DBLP DOI BibTeX RDF
13	Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus, Steven Levi	Language support for fast and reliable message-based communication in singularity OS.	EuroSys	2006	DBLP DOI BibTeX RDF	data ownership, protocols, asynchronous communication, channels, static checking
13	Murat Karaorman, Parker Abercrombie	jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	jContractor, Java, Design by Contract, bytecode instrumentation
13	Krystian Mikolajczyk, Cordelia Schmid	A Performance Evaluation of Local Descriptors.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF	interest regions, matching, recognition, invariance, interest points, Local descriptors
13	Richard C. Wilson 0001, Edwin R. Hancock, Bin Luo 0001	Pattern Vectors from Algebraic Graph Theory.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF
13	Irit Katriel, Laurent Michel, Pascal Van Hentenryck	Maintaining Longest Paths Incrementally.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	heaviest path, bounded computation, scheduling, constraint, graph, local search, incremental, longest path
13	Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel	Expression-invariant face recognition via spherical embedding.	ICIP (3)	2005	DBLP DOI BibTeX RDF
13	Peter Müller 0001	Reasoning about Object Structures Using Ownership.	VSTTE	2005	DBLP DOI BibTeX RDF
13	Arnaud Venet	Towards the Integration of Symbolic and Numerical Static Analysis.	VSTTE	2005	DBLP DOI BibTeX RDF
13	Bernhard Beckert, Steffen Schlager, Peter H. Schmitt	An Improved Rule for While Loops in Deductive Program Verification.	ICFEM	2005	DBLP DOI BibTeX RDF
13	Mardavij Roozbehani, Eric Feron, Alexandre Megretski	Modeling, Optimization and Computation for Software Verification.	HSCC	2005	DBLP DOI BibTeX RDF
13	Deepali Kholkar, G. Murali Krishna, Ulka Shrotri, R. Venkatesh 0001	Visual specification and analysis of use cases.	SOFTVIS	2005	DBLP DOI BibTeX RDF	visual notation, model checking, UML, requirements
13	Walter Nunziati, Jonathan Alon, Stan Sclaroff, Alberto Del Bimbo	View registration using interesting segments of planar trajectories.	AVSS	2005	DBLP DOI BibTeX RDF
13	Henrik Nilsson	Dynamic optimization for functional reactive programming using generalized algebraic data types.	ICFP	2005	DBLP DOI BibTeX RDF	DSEL, FRP, Yampa, synchronous dataflow languages, functional programming, domain-specific languages, Haskell, reactive programming, GADT, combinator library, arrows
13	Daniel Riccio, Jean-Luc Dugelay	Asymmetric 3D/2D Processing: A Novel Approach for Face Recognition.	ICIAP	2005	DBLP DOI BibTeX RDF
13	Cecilia Di Ruberto, Andrea Morgera	A Comparison of 2-D Moment-Based Description Techniques.	ICIAP	2005	DBLP DOI BibTeX RDF
13	Zheng Xiang, Taiyi Zhang, Jiancheng Sun	Modelling of Chaotic Systems with Recurrent Least Squares Support Vector Machines Combined with Reconstructed Embedding Phase Space.	ICNC (1)	2005	DBLP DOI BibTeX RDF
13	Brian Chin, Shane Markstrum, Todd D. Millstein	Semantic type qualifiers.	PLDI	2005	DBLP DOI BibTeX RDF	extensible typechecking, type qualifiers, type soundness
13	Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2.	FMCO	2005	DBLP DOI BibTeX RDF
13	Andrew T. Wilson, Rebecca M. Brannon	Exploring 2D Tensor Fields Using Stress Nets.	IEEE Visualization	2005	DBLP DOI BibTeX RDF	stress tensor, controlled density streamlines, crack propagation, streamlines, tensor field
13	Sriram Sankaranarayanan 0001, Henny B. Sipma, Zohar Manna	Scalable Analysis of Linear Systems Using Mathematical Programming.	VMCAI	2005	DBLP DOI BibTeX RDF
13	Patrick Cousot	Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming.	VMCAI	2005	DBLP DOI BibTeX RDF
13	Tze Meng Low, Robert A. van de Geijn, Field G. Van Zee	Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications.	PPoPP	2005	DBLP DOI BibTeX RDF	SMP Parallelism, code generation, linear algebra, formal derivation
13	Lionel C. Briand, Wojciech J. Dzidek, Yvan Labiche	Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging.	ICSM	2005	DBLP DOI BibTeX RDF
13	Gilles Barthe, Tamara Rezk, Ando Saabas	Proof Obligations Preserving Compilation.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
13	Mark van Hoeij, Jacques-Arthur Weil	Solving second order linear differential equations with Klein's theorem.	ISSAC	2005	DBLP DOI BibTeX RDF
13	Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel	Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	semantics-based program manipulation, predictable partial evaluation, declaration of specialization opportunities, program specialization
13	Wim H. Hesselink	An assertional proof for a construction of an atomic variable.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Invariant, Atomicity, Wait-free, Safeness
13	Hui Gao, Wim H. Hesselink	A Formal Reduction for Lock-Free Parallel Algorithms.	CAV	2004	DBLP DOI BibTeX RDF
13	Pham Hong Thai, Dang Van Hung	Verifying Linear Duration Constraints of Timed Automata.	ICTAC	2004	DBLP DOI BibTeX RDF
13	Corina S. Pasareanu, Willem Visser	Verification of Java Programs Using Symbolic Execution and Invariant Generation.	SPIN	2004	DBLP DOI BibTeX RDF
13	W. F. Clocksin	Handwritten Syriac Character Recognition using Order Structure Invariance.	ICPR (2)	2004	DBLP DOI BibTeX RDF
13	Bin Luo 0001, Richard C. Wilson 0001, Edwin R. Hancock	Graph Manifolds from Spectral Polynomials.	ICPR (3)	2004	DBLP DOI BibTeX RDF
13	Gordon Fraser 0001, Franz Wotawa	Cooperative Planning and Plan Execution in Partially Observable Dynamic Domains.	RoboCup	2004	DBLP DOI BibTeX RDF
13	Robert DeLine, Manuel Fähndrich	Typestates for Objects.	ECOOP	2004	DBLP DOI BibTeX RDF
13	Douglas R. Smith	A Generative Approach to Aspect-Oriented Programming.	GPCE	2004	DBLP DOI BibTeX RDF
13	David Herman, Philippe Meunier	Improving the static analysis of embedded languages via partial evaluation.	ICFP	2004	DBLP DOI BibTeX RDF	value flow analysis, partial evaluation, macros, embedded languages
13	Siddharth Manay, Byung-Woo Hong, Anthony J. Yezzi, Stefano Soatto	Integral Invariant Signatures.	ECCV (4)	2004	DBLP DOI BibTeX RDF
13	Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck	Liveness with Invisible Ranking.	VMCAI	2004	DBLP DOI BibTeX RDF
13	Kokichi Sugihara	Robust Geometric Computation Based on Digital Topology.	COCOON	2004	DBLP DOI BibTeX RDF
13	Hubert Baumeister, Alexander Knapp, Martin Wirsing	Property-Driven Development.	SEFM	2004	DBLP DOI BibTeX RDF
13	Richard C. Wilson 0001, Edwin R. Hancock	Spectral Analysis of Complex Laplacian Matrices.	SSPR/SPR	2004	DBLP DOI BibTeX RDF
13	Bin Luo 0001, Richard C. Wilson 0001, Edwin R. Hancock	Graph Pattern Spaces from Laplacian Spectral Polynomials.	ICIAR (1)	2004	DBLP DOI BibTeX RDF
13	Berndt Farwer, Saraswati Kalvala, Kundan Misra	Controller Synthesis for Object Petri Nets.	ICFEM	2003	DBLP DOI BibTeX RDF
13	David Hemer	Specification matching of state-based modular components.	APSEC	2003	DBLP DOI BibTeX RDF	Retrieval, Component-based development, Specification matching
13	Sunae Seo, Hongseok Yang, Kwangkeun Yi	Automatic Construction of Hoare Proofs from Abstract Interpretation Results.	APLAS	2003	DBLP DOI BibTeX RDF
13	Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel	Expression-Invariant 3D Face Recognition.	AVBPA	2003	DBLP DOI BibTeX RDF
13	Hao Shao, Tomás Svoboda, Tinne Tuytelaars, Luc Van Gool	HPAT Indexing for Fast Object/Scene Recognition Based on Local Appearance.	CIVR	2003	DBLP DOI BibTeX RDF
13	Krystian Mikolajczyk, Cordelia Schmid	A performance evaluation of local descriptors.	CVPR (2)	2003	DBLP DOI BibTeX RDF
13	Pascal Fontaine, E. Pascal Gribomont	Decidability of Invariant Validation for Paramaterized Systems.	TACAS	2003	DBLP DOI BibTeX RDF
13	Laurent Michel, Pascal Van Hentenryck	Maintaining Longest Paths Incrementally.	CP	2003	DBLP DOI BibTeX RDF
13	Amir Pnueli, Lenore D. Zuck	Model-Checking and Abstraction to the Aid of Parameterized Systems.	VMCAI	2003	DBLP DOI BibTeX RDF
13	Matthieu Martel	Improving the Static Analysis of Loops by Dynamic Partitioning Techniques.	SCAM	2003	DBLP DOI BibTeX RDF
13	Bernhard Beckert, Wojciech Mostowski	A Program Logic for Handling JAVA CARD's Transaction Mechanism.	FASE	2003	DBLP DOI BibTeX RDF
13	Hartmann J. Genrich	Dynamical Quantities in Net Systems.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Petri nets, Dynamics
13	Gurdip Singh, Bob S. Maddula, Qiang Zeng 0003	Enhancing Real-Time Event Service for Synchronization in Object-Oriented Distributed Systems.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF
13	Michael Colón, Henny Sipma	Practical Methods for Proving Program Termination.	CAV	2002	DBLP DOI BibTeX RDF
13	Richard Jüllig	Formal Methods in Enterprise Computing.	ICFEM	2002	DBLP DOI BibTeX RDF
13	Jonathan Aldrich, Valentin Kostadinov, Craig Chambers	Alias annotations for program understanding.	OOPSLA	2002	DBLP DOI BibTeX RDF	aliasjava, java, type inference, aliasing, encapsulation, ownership types, uniqueness
13	Jiang Li, Chin-Seng Chua, Yeong-Khing Ho	Color based multiple people tracking.	ICARCV	2002	DBLP DOI BibTeX RDF
13	Erik D. Demaine, Stefan Langerman, Joseph O'Rourke, Jack Snoeyink	Interlocked open linkages with few joints.	SCG	2002	DBLP DOI BibTeX RDF	protein models, configurations, geometry, linkages, knots, robotic arms
13	Soon-Kyeong Kim, David A. Carrington	A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints.	ZB	2002	DBLP DOI BibTeX RDF
13	Kunihiko Hiraishi	PN2: An Elementary Model for Design and Analysis of Multi-agent Systems.	COORDINATION	2002	DBLP DOI BibTeX RDF
13	Shuvendu K. Lahiri, Sanjit A. Seshia, Randal E. Bryant	Modeling and Verification of Out-of-Order Microprocessors in UCLID.	FMCAD	2002	DBLP DOI BibTeX RDF
13	Orna Raz, Philip Koopman, Mary Shaw	Semantic anomaly detection in online data sources.	ICSE	2002	DBLP DOI BibTeX RDF
13	Gustavo Carneiro 0001, Allan D. Jepson	Phase-Based Local Features.	ECCV (1)	2002	DBLP DOI BibTeX RDF	Vision systems engineering and evaluation, Invariant local features, Local phase information, Object recognition, Image features
13	Jan J. Koenderink, Andrea J. van Doorn	Image Processing Done Right.	ECCV (1)	2002	DBLP DOI BibTeX RDF	texture, scale-space, image indexing, Image features, image transformations, image space
13	Babak Nadjar Araabi, Nasser Kehtarnavaz, Gilbert R. Hillman, Bernd Würsig	Evaluation of Invariant Models for Dolphin Photo-Identification.	CBMS	2001	DBLP DOI BibTeX RDF
13	Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani	Automatic Predicate Abstraction of C Programs.	PLDI	2001	DBLP DOI BibTeX RDF	C
13	Klaus Voss, Herbert Süße	Affine Point Pattern Matching.	DAGM-Symposium	2001	DBLP DOI BibTeX RDF
13	Mohammed Al-Rawi, Jie Yang 0002	Illumination Invariant Recognition of Color Texture Using Correlation and Covariance Functions.	EMMCVPR	2001	DBLP DOI BibTeX RDF
13	Beatrix Braune, Reinhard Wilhelm	Focusing in Algorithm Explanation.	IEEE Trans. Vis. Comput. Graph.	2000	DBLP DOI BibTeX RDF	Visualization of algorithms, shape analysis, diagrammatic reasoning
13	Sergei Matveev	Computer Presentation of 3-Manifolds.	Digital and Image Geometry	2000	DBLP DOI BibTeX RDF
13	Masami Hagiya, Koichi Takahashi	Discovery and Deduction.	Discovery Science	2000	DBLP DOI BibTeX RDF
13	Catherine Meadows 0001	Invariant Generation Techniques in Cryptographic Protocol Analysis.	CSFW	2000	DBLP DOI BibTeX RDF
13	Marc Schael, Sven Siggelkow	Invariant Grey-Scale Features for 3D Sensor-Data.	ICPR	2000	DBLP DOI BibTeX RDF
13	Jinhui Chao, Kazuto Matsuo, Hiroto Kawashiro, Shigeo Tsujii	Construction of Hyperelliptic Curves with CM and Its Application to Cryptosystems.	ASIACRYPT	2000	DBLP DOI BibTeX RDF
13	Neophytos G. Michael, Andrew W. Appel	Machine Instruction Syntax and Semantics in Higher Order Logic.	CADE	2000	DBLP DOI BibTeX RDF
13	Klaus-Dieter Schewe	Controlled Automation of Consistency Enforcement.	ASE	2000	DBLP DOI BibTeX RDF
13	Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich	Using Meta-level Compilation to Check FLASH Protocol Code.	ASPLOS	2000	DBLP DOI BibTeX RDF
13	Kevin Lano, Kelly Androutsopoulos, David Clark 0001	Structuring and Design of Reactive Systems Using RSDS and B.	FASE	2000	DBLP DOI BibTeX RDF
13	David L. Dill	Alternative Approaches to Hardware Verification (abstract).	CAV	1999	DBLP DOI BibTeX RDF
13	Enric Pastor, Jordi Cortadella, Marco A. Peña	Structural Methods to Improve the Symbolic Analysis of Petri Nets.	ICATPN	1999	DBLP DOI BibTeX RDF
13	To-Yat Cheung, Yiqin Lu	Five Classes of Invariant-Preserving Transformations on Colored Petri Nets.	ICATPN	1999	DBLP DOI BibTeX RDF
13	Cordelia Schmid, Andrew Zisserman, Roger Mohr	Integrating Geometric and Photometric Information for Image Retrieval.	Shape, Contour and Grouping in Computer Vision	1999	DBLP DOI BibTeX RDF
13	Jun Sato, Roberto Cipolla	Quasi-Invariant Parameterisations and Their Applications in Computer Vision.	Shape, Contour and Grouping in Computer Vision	1999	DBLP DOI BibTeX RDF
13	Ali Hamie	Enhancing the Object Constraint Language for More Expressive Specifications.	APSEC	1999	DBLP DOI BibTeX RDF	modeling, UML, specification, constraints, OCL