|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2303 occurrences of 1266 keywords
|
|
|
Results
Found 4073 publication records. Showing 4073 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Jan-Mark Geusebroek, Anuj Dev, Rein van den Boomgaard, Arnold W. M. Smeulders, Frans W. Cornelissen, Hugo Geerts |
Color Invariant Edge Detection. |
Scale-Space |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Tinne Tuytelaars, Luc Van Gool |
Content-Based Image Retrieval Based on Local Affinely Invariant Regions. |
VISUAL |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Richard Mitchell |
Analysis by Contract: UML with Attitude! |
TOOLS (29) |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Victor Vianu |
Topological Queries in Spatial Databases. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Peter Meer, Reiner Lenz, Sudhir Ramakrishna |
Efficient Invariant Representations. |
Int. J. Comput. Vis. |
1998 |
DBLP DOI BibTeX RDF |
indexing, invariance, geometric hashing, feature correspondence |
13 | Eugenio Calabi, Peter J. Olver, Chehrzad Shakiban, Allen R. Tannenbaum, Steven Haker |
Differential and Numerically Invariant Signature Curves Applied to Object Recognition. |
Int. J. Comput. Vis. |
1998 |
DBLP DOI BibTeX RDF |
joint invariant, signature curve, Euclidean group, equi-affine group, curve shortening flow, object recognition, snake, differential invariant, symmetry group, numerical approximation |
13 | Xavier Leroy |
Introduction. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Pekka P. Pirinen |
Barrier Techniques for Incremental Tracing. |
ISMM |
1998 |
DBLP DOI BibTeX RDF |
|
13 | R. Kramer |
iContract - The Java(tm) Design by Contract(tm) Tool. |
TOOLS (26) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Raúl Pinto-Elías, Juan Humberto Sossa Azuela |
Human Face Identification Using Invariant Descriptions and a Genetic Algorithm. |
IBERAMIA |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Lei Zhou, Elke A. Rundensteiner, Kang G. Shin |
Schema Evolution of an Object-Oriented Real-Time Database System for Manufacturing Automation. |
IEEE Trans. Knowl. Data Eng. |
1997 |
DBLP DOI BibTeX RDF |
envelope/letter classes, letter-class hierarchy, performance polymorphism, real-time, database, object oriented, Data model, schema evolution |
13 | Luigi Portinale |
Modeling and Solving Constraint Satisfaction Problems through Petri Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
|
13 | David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic |
An ML-Like Module System for the Synchronous Language SIGNAL. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Francis H. Y. Chan, Francis K. Lam, Hon Fung Li, J. G. Liu 0001 |
An all adder systolic structure for fast computation of moments. |
J. VLSI Signal Process. |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Jan Flusser, Tomás Suk, Stanislav Saic |
Recognition of blurred images by the method of moments. |
IEEE Trans. Image Process. |
1996 |
DBLP DOI BibTeX RDF |
|
13 | David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper 0001, Peter Lee 0001 |
TIL: a type-directed, optimizing compiler for ML (with retrospective) |
Best of PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Stephen J. Maybank |
Probabilistic analysis of the application of the cross ratio to model based vision. |
Int. J. Comput. Vis. |
1995 |
DBLP DOI BibTeX RDF |
|
13 | B. Vijayakumar, David J. Kriegman, Jean Ponce |
Invariant-Based Recognition of Complex Curved 3D Objects from Image Contours. |
ICCV |
1995 |
DBLP DOI BibTeX RDF |
invariant-based recognition, complex curved 3D object recognition, smooth curved surfaces, monocular image contours, viewpoint-dependent image features, object geometry, contour bitangents, parallel tangents points, scaled orthographic projection viewpoints, camera-object motion, model database, feature extraction, computational geometry, object recognition, motion estimation, 3D models, image features, occluding contour, image contours, inflections, three-dimensional objects |
13 | Søren Christensen, Niels Damgaard Hansen |
Coloured Petri Nets Extended with Channels for Synchronous Communication. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
re-usable models, invariant analysis, Coloured Petri nets, channels, synchronous communication, modular specifications |
13 | Ganesh Gopalakrishnan, Richard Fujimoto |
Design and Verification of the Rollback Chip Using HOP: A Case Study of Formal Methods Applied to Hardware design. |
ACM Trans. Comput. Syst. |
1993 |
DBLP DOI BibTeX RDF |
|
13 | Bart M. ter Haar Romeny, Luc Florack, Alfons H. Salden, Max A. Viergever |
Higher Order Differential Structure of Images. |
IPMI |
1993 |
DBLP DOI BibTeX RDF |
|
13 | Roberto Cipolla, Andrew Blake 0001 |
Surface Orientation and Time to Contact from Image Divergence and Deformation. |
ECCV |
1992 |
DBLP DOI BibTeX RDF |
|
13 | Shamkant B. Navathe, Aloysius Cornelio |
Modeling Physical Systems by Complex Structural Objects and Complex Functional Objects. |
EDBT |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Gerard Tel |
Assertional Verification of a Timer Based Protocol. |
ICALP |
1988 |
DBLP DOI BibTeX RDF |
protocol skeleton, assertional proof, time, connection management, end-to-end protocol |
13 | Richard A. Kemmerer |
Analyzing Encryption Protocols Using Formal Verification Authentication Schemes. |
CRYPTO |
1987 |
DBLP DOI BibTeX RDF |
|
13 | Gruia-Catalin Roman |
Concurrency coordination in a locally distributed database system. |
AFIPS National Computer Conference |
1980 |
DBLP DOI BibTeX RDF |
|
13 | Karthik Pattabiraman, Giacinto Paolo Saggese, Daniel Chen 0001, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
Automated Derivation of Application-Specific Error Detectors Using Dynamic Analysis. |
IEEE Trans. Dependable Secur. Comput. |
2011 |
DBLP DOI BibTeX RDF |
Data errors, likely invariants, critical variables, FPGA hardware, dynamic execution |
13 | Koen E. A. van de Sande, Theo Gevers, Cees G. M. Snoek |
Evaluating Color Descriptors for Object and Scene Recognition. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2010 |
DBLP DOI BibTeX RDF |
pattern recognition, color, invariants, evaluation/methodology, Image/video retrieval |
13 | Walter Nunziati, Stan Sclaroff, Alberto Del Bimbo |
Matching Trajectories between Video Sequences by Exploiting a Sparse Projective Invariant Representation. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2010 |
DBLP DOI BibTeX RDF |
similarity measures, invariants, Registration, cross ratio |
13 | Xiaoming Yao, Wencai Du, Weihua Wu, Mei Huang, Jundong Fu |
A Robust EMD-Like Stegnographic Scheme. |
IITSI |
2010 |
DBLP DOI BibTeX RDF |
EMD schemes, statistical invariants, robustness, information hiding, noisy channel |
13 | Huning Dai, Christian Murphy, Gail E. Kaiser |
Configuration Fuzzing for Software Vulnerability Detection. |
ARES |
2010 |
DBLP DOI BibTeX RDF |
Configuration fuzzing, Fuzz testing, In Vivo testing, Security invariants, Vulnerability |
13 | Yi Wei 0001, Yu Pei 0001, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer 0001, Andreas Zeller |
Automated fixing of programs with contracts. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
automatic debugging, automatic fixing, dynamic invariants, program synthesis |
13 | Ishtiaque Hussain, Christoph Csallner |
Dynamic symbolic data structure repair. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
data structure invariants, data structure repair, dynamic symbolic execution |
13 | Chris Lewis 0002, Jim Whitehead |
Runtime repair of software faults using event-driven monitoring. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
message broker, runtime software-fault monitoring, temporal invariants, specifications, video games, rule engine, event-driven systems |
13 | Herbert A. Hauptman |
Phase Problem in X-ray Crystallography: Shake and Bake Approach. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Phase problem, Normalized structure factors, Structure invariants, Minimal function, Minimal principle, Shake and bake algorithm, Global optimization |
13 | Xiaodong Yue, Duoqian Miao |
Rough Geometry and Its Applications in Character Recognition. |
Trans. Rough Sets |
2009 |
DBLP DOI BibTeX RDF |
rough geometry, equichordal points, Rough sets, geometric invariants, principal curves |
13 | Felix Polyakov, Eran Stark, Rotem Drori, Moshe Abeles, Tamar Flash |
Parabolic movement primitives and cortical states: merging optimality with geometric invariance. |
Biol. Cybern. |
2009 |
DBLP DOI BibTeX RDF |
Drawing primitives, Equi-affine geometry, Neural representation, Hidden Markov modeling, Geometric invariants |
13 | Ishay Haviv, Vadim Lyubashevsky, Oded Regev 0001 |
A Note on the Distribution of the Distance from a Lattice. |
Discret. Comput. Geom. |
2009 |
DBLP DOI BibTeX RDF |
Second moment, Computational complexity, Lattices, Geometrical invariants, Covering radius |
13 | Graham D. Finlayson, Mark S. Drew, Cheng Lu 0009 |
Entropy Minimization for Shadow Removal. |
Int. J. Comput. Vis. |
2009 |
DBLP DOI BibTeX RDF |
Intrinsic images, Quadratic entropy, Entropy, Reflectance, Color, Illumination, Shadows, Illumination invariants |
13 | Iman Narasamdya, Michaël Périn |
Certification of smart-card applications in common criteria. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
assertion functions, common criteria certification, smart-card applications, invariants, assertions, specification techniques |
13 | Maria Jump, Kathryn S. McKinley |
Dynamic shape analysis via degree metrics. |
ISMM |
2009 |
DBLP DOI BibTeX RDF |
degree metrics, dynamic invariants, dynamic shape analysis |
13 | Xin Qi 0012, Andrew C. Myers |
Masked types for sound object initialization. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
conditional masks, cyclic data structures, null pointer exceptions, invariants, data abstraction |
13 | Yoonsik Cheon, Carmen Avila, Steve Roach, Cuauhtemoc Munoz, Neith Estrada, Valeria Fierro, Jessica Romo |
An Aspect-Based Approach to Checking Design Constraints at Run-Time. |
ITNG |
2009 |
DBLP DOI BibTeX RDF |
class invariants, Object Constraint Language, AspectJ, pre and postconditions, runtime checking |
13 | JiDong Ge, Haiyang Hu |
A Decomposition Approach with Invariant Analysis for Workflow Coordination. |
DASFAA Workshops |
2009 |
DBLP DOI BibTeX RDF |
Petri nets, Workflow, Invariants, Sequence diagram |
13 | Ji Zhang, Heather Goldsby, Betty H. C. Cheng |
Modular verification of dynamically adaptive systems. |
AOSD |
2009 |
DBLP DOI BibTeX RDF |
global invariants, modular model checking, reliability, verification, formal specification, autonomic computing, dynamic adaptation |
13 | Boaz Vigdor, Joseph M. Francos |
Joint Affine and Radiometric Registration Using Kernel Operators. |
CAIP |
2009 |
DBLP DOI BibTeX RDF |
Global Invariants, Image Registration |
13 | Michael D. Hendy, Sagi Snir |
Hadamard Conjugation for the Kimura 3ST Model: Combinatorial Proof Using Path Sets. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2008 |
DBLP DOI BibTeX RDF |
Hadamard conjugation, K3ST model, path-sets, phylogenetic invariants, phylogenetic trees |
13 | Cagatay Basdogan, A. Cengiz Öztireli |
A new feature-based method for robust and efficient rigid-body registration of overlapping point clouds. |
Vis. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Distance invariants, Geometric descriptors, Feature extraction, Nearest neighbor search, 3D registration |
13 | Sumit Gulwani, Bill McCloskey, Ashish Tiwari 0001 |
Lifting abstract interpreters to quantified logical domains. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
logical lattices, quantified invariants, underapproximation algorithms, abstract interpreter |
13 | Nikolaos D. Liveris, Hai Zhou 0001, Robert P. Dick, Prithviraj Banerjee |
State space abstraction for parameterized self-stabilizing embedded systems. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
verification, abstraction, parameterized systems, self-stabilizing systems, network invariants |
13 | Heydi Mendez Vazquez, Edel B. García Reyes, Yadira Condes-Molleda |
A New Combination of Local Appearance Based Methods for Face Recognition under Varying Lighting Conditions. |
CIARP |
2008 |
DBLP DOI BibTeX RDF |
local appearance based methods, face recognition, DCT, illumination invariants, LBP |
13 | Michael Pedersen |
Compositional Definitions of Minimal Flows in Petri Nets. |
CMSB |
2008 |
DBLP DOI BibTeX RDF |
minimal flows, minimal invariants, the Calculus of Biochemical Systems, Petri nets, modularity |
13 | Jau-Hong Kao, Chih-Yang Lin, Wen-How Wang, Yi-Ta Wu |
A Unified Hierarchical Appearance Model for People Re-identification Using Multi-view Vision Sensors. |
PCM |
2008 |
DBLP DOI BibTeX RDF |
tracking, invariants, GMM, multiple-view, Appearance model, re-identification |
13 | Richard Riehle |
Designing software components to tolerances. |
ACM SIGSOFT Softw. Eng. Notes |
2007 |
DBLP DOI BibTeX RDF |
post-conditions, pre-conditions, snugness of fit, design, metrics, components, constraints, invariants, assertions, tolerances |
13 | Haibin Ling, David W. Jacobs |
Shape Classification Using the Inner-Distance. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2007 |
DBLP DOI BibTeX RDF |
shape distance, Computer vision, object recognition, texture, shape, invariants, articulation |
13 | Federico Sukno, Sebastián Ordas, Constantine Butakoff, Santiago Cruz, Alejandro F. Frangi |
Active Shape Models with Invariant Optimal Features: Application to Facial Analysis. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2007 |
DBLP DOI BibTeX RDF |
invariants, shape model, Face and gesture recognition, feature evaluation and selection, statistical image analysis |
13 | Simon Hardy, Pierre N. Robillard |
Visualization of the simulation data of biochemical network models: a painted Petri net approach. |
SCSC |
2007 |
DBLP BibTeX RDF |
biochemical modeling, quantitative studies, visualization, petri net, invariants |
13 | Manuel E. Loaiza, Alberto Raposo 0001, Marcelo Gattass |
A Novel Optical Tracking Algorithm for Point-Based Projective Invariant Marker Patterns. |
ISVC (1) |
2007 |
DBLP DOI BibTeX RDF |
Point-based Feature, Point Set Matching, Optical Tracking, Projective Invariants |
13 | Ajeet Shankar, Rastislav Bodík |
DITTO: automatic incrementalization of data structure invariant checks (in Java). |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
data structure invariants, optimistic memoization, program analysis, dynamic optimization, incrementalization, automatic |
13 | Pavel Vacha, Michal Haindl |
Demonstration of image retrieval based on illumination invariant textural MRF features. |
CIVR |
2007 |
DBLP DOI BibTeX RDF |
Markov random fields (MRF), illumination invariants, content-based image retrieval (CBIR), demonstration |
13 | Pavel Vacha, Michal Haindl |
Image retrieval measures based on illumination invariant textural MRF features. |
CIVR |
2007 |
DBLP DOI BibTeX RDF |
Markov random fields (MRF), illumination invariants, content-based image retrieval (CBIR) |
13 | Arnold W. M. Smeulders |
Multimedia Analysis by Learning. |
MCAM |
2007 |
DBLP DOI BibTeX RDF |
multimedia analysis, learning, invariants, concepts |
13 | Ibrahim El Rube, Maher Ahmed, Mohamed S. Kamel |
Wavelet Approximation-Based Affine Invariant Shape Representation Functions. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Wavelet transform, invariants, shape representation, affine transformation |
13 | JiDong Ge, Hao Hu 0001, Jian Lu 0001 |
Invariant Analysis for the Task Refinement of Workflow Nets. |
CIMCA/IAWTIC |
2006 |
DBLP DOI BibTeX RDF |
workflow process model, task refinement, Petri nets, invariants, soundness, workflow composition |
13 | Lokesh Setia, Alexandra Teynor, Alaa Halawani, Hans Burkhardt |
Grayscale Radiograph Annotation Using Local Relational Features. |
CLEF |
2006 |
DBLP DOI BibTeX RDF |
Invariants, Image Annotation, Local Features, Radiograph |
13 | Ji Zhang, Betty H. C. Cheng |
Model-based development of dynamically adaptive software. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
global invariants, reliability, verification, formal specification, autonomic computing, dynamic adaptation |
13 | Lakshmi N. Bairavasundaram, Meenali Rungta, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
Limiting trust in the storage stack. |
StorageSS |
2006 |
DBLP DOI BibTeX RDF |
pointer corruption, type-aware corruption, verifiable invariants |
13 | Ronald-Bryan O. Alferez, Yuan-Fang Wang, Long Jiao |
An Affine-Invariant Tool for Retrieving Images from Homogeneous Databases. |
Multim. Tools Appl. |
2005 |
DBLP DOI BibTeX RDF |
homogeneous database, content-based image retrieval, shape, invariants, affine |
13 | Ernst Hairer |
Important Aspects of Geometric Numerical Integration. |
J. Sci. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Geometric numerical integration, reversible differential equations, backward error analysis, modulated Fourier expansion, adiabatic invariants, sine-Gordon equation, energy conservation, Hamiltonian systems |
13 | Timothy S. Gegg-Harrison |
Constructing contracts: Making discrete mathematics relevant to beginning programmers. |
ACM J. Educ. Resour. Comput. |
2005 |
DBLP DOI BibTeX RDF |
programming by contract, Formal methods, program verification, weakest preconditions, programming tools, loop invariants, axiomatic semantics |
13 | Vijay K. Garg, Neeraj Mittal |
A Critique of Java for Concurrent Programming. |
IEEE Distributed Syst. Online |
2005 |
DBLP DOI BibTeX RDF |
await, Java, concurrent programming, invariants, nondeterminism |
13 | Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu |
Incrementalization across object abstraction. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
design, object-oriented, program transformation, abstraction, program analysis, invariants, program optimization, incrementalization |
13 | Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan |
Scalable statistical bug isolation. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
bug isolation, feature selection, invariants, random sampling, statistical debugging |
13 | Brian Demsky, Martin C. Rinard |
Data structure repair using goal-directed reasoning. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
data structure invariants, data structure repair |
13 | Kais Klai, Samir Tata |
Abstraction-basedWorkflow Cooperation Using Petri Net Theory. |
WETICE |
2005 |
DBLP DOI BibTeX RDF |
Inter-organizational Workflows, Cooperative Workflows, Petri nets, invariants |
13 | Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth |
Contract-Checking Wrappers for C++ Classes. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
Assertion checkers, binary components, class invariants, specification, preconditions, design by contract, postconditions, debugging aids, coding techniques |
13 | Pascal Matsakis, James M. Keller, Ozy Sjahputera, Jonathon Marjamaa |
The Use of Force Histograms for Affine-Invariant Relative Position Description. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2004 |
DBLP DOI BibTeX RDF |
force histograms, computer vision, invariants, Affine transformations, spatial relations, descriptors |
13 | Amit Sethi, David Renaudie, David J. Kriegman, Jean Ponce |
Curve and Surface Duals and the Recognition of Curved 3D Objects from their Silhouettes. |
Int. J. Comput. Vis. |
2004 |
DBLP DOI BibTeX RDF |
three-dimensional object recognition, pedal curves, invariants, duals |
13 | Jinlin Yang, David Evans 0001 |
Dynamically inferring temporal properties. |
PASTE |
2004 |
DBLP DOI BibTeX RDF |
property patterns, dynamic analysis, concurrent programming, invariants, temporal properties |
13 | David Cohen, Ernst Hairer, Christian Lubich |
Modulated Fourier Expansions of Highly Oscillatory Differential Equations. |
Found. Comput. Math. |
2003 |
DBLP DOI BibTeX RDF |
Modulated Fourier expansion, Adiabatic invariants, Highly oscillatory differential equations, Exponentially small error estimates, Multiple time scales |
13 | A. Smet, Alain Verschoren |
Mayer-Vietoris Sequences for Krull Domains. |
Appl. Categorical Struct. |
2003 |
DBLP DOI BibTeX RDF |
Krull domain, invariants of rings, Cartesian diagram, fibre product category, Mayer-Vietoris sequence |
13 | Brian Demsky, Martin C. Rinard |
Automatic detection and repair of errors in data structures. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
data structure invariants, data structure repair |
13 | Helena Cristina da Gama Leitão, Jorge Stolfi |
A Multiscale Method for the Reassembly of Two-Dimensional Fragmented Objects. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2002 |
DBLP DOI BibTeX RDF |
Outline matching, planar shape matching, planar shape invariants, ceramic fragments, fracture analysis, multiscale analysis, archaeology |
13 | Lourena Rocha, Luiz Velho 0001, Paulo Cezar Pinto Carvalho |
Image Moments-Based Structuring and Tracking of Objects. |
SIBGRAPI |
2002 |
DBLP DOI BibTeX RDF |
ellipsoidal structure, hierarchical coherence, moment invariants, BSP-tree |
13 | Yung-Pin Cheng |
Refactoring design models for inductive verification. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
concurrency, refactoring, compositional analysis, parameterized system, network invariants |
13 | Yannis Avrithis, Yiannis Xirouhakis, Stefanos D. Kollias |
Affine-invariant curve normalization for object shape representation, classification, and retrieval. |
Mach. Vis. Appl. |
2001 |
DBLP DOI BibTeX RDF |
Curve normalization, Shape analysis, Affine invariants, Image and video retrieval |
13 | Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright |
Class Refinement as Semantics of Correct Object Substitutability. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Class refinement, Code inheritance, Behavioural compatibility, Object substitutability, Semantics of object-oriented constructs, Implicit and explicit invariants, New methods, Correctness, Subtyping, Subclassing |
13 | Chin-Hsiung Wu, Shi-Jinn Horng, Jinn-Fu Lin, Horng-Ren Tsai, Tsrong-Lay Lin |
An Optimal Parallel Algorithm for Computing Moments on Arrays with Reconfigurable Optical Buses. |
IPDPS |
2000 |
DBLP DOI BibTeX RDF |
suffix sums, reconfigurable optical bus, image processing, moments, moment invariants |
13 | Steven M. Seitz, Charles R. Dyer |
Photorealistic Scene Reconstruction by Voxel Coloring. |
Int. J. Comput. Vis. |
1999 |
DBLP DOI BibTeX RDF |
multi-baseline stereo, invariants, occlusion, scene reconstruction, image correspondence, voxel representations, photorealism |
13 | Joris Vanden Wyngaerd, Luc Van Gool, Reinhard Koch, Marc Proesmans |
Invariant-based Registration of Surface Patches. |
ICCV |
1999 |
DBLP DOI BibTeX RDF |
3D Surface Registration, 3D Curve Invariants, Euclidean and affine matching |
13 | Simon Baker, Shree K. Nayar |
Global Measures of Coherence for Edge Detector Evaluation. |
CVPR |
1999 |
DBLP DOI BibTeX RDF |
Performance Evaluation, Edge Detection, Projective Invariants |
13 | João Paulo Costeira, Takeo Kanade |
A Multibody Factorization Method for Independently Moving Objects. |
Int. J. Comput. Vis. |
1998 |
DBLP DOI BibTeX RDF |
motin analysis, computer vision, invariants, image understanding, 3D vision, shape from motion |
13 | Manfred Göbel |
On the Number of Special Permutation-Invariant Orbits and Terms. |
Appl. Algebra Eng. Commun. Comput. |
1997 |
DBLP DOI BibTeX RDF |
Polynomial invariants of permutation groups, Special permutation-invariant orbits |
13 | Robert P. Grzeszczuk, Milana Huang, Louis H. Kauffman |
Physically-Based Stochastic Simplification of Mathematical Knots. |
IEEE Trans. Vis. Comput. Graph. |
1997 |
DBLP DOI BibTeX RDF |
knot classification, polynomial invariants, simulated annealing, knot theory, Mathematical visualization |
13 | Edmund M. Clarke, Orna Grumberg, Somesh Jha |
Verifying Parameterized Networks. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
process invariants, model checking, temporal logic, parameterized systems |
13 | R. Safari, N. Narasimhamurthi, Malayappan Shridhar, Majid Ahmadi |
Form Registration: A Computer Vision Approach. |
ICDAR |
1997 |
DBLP DOI BibTeX RDF |
Line and Point Correspondence, Forms, Affine Invariants, Point Pattern Matching, Skew Correction |
13 | Amnon Shashua, Nassir Navab |
Relative Affine Structure: Canonical Model for 3D From 2D Geometry and Applications. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1996 |
DBLP DOI BibTeX RDF |
reprojection, projective reometry, algebraic and geometric invariants, Structure from motion, alignment, visual recognition |
13 | David W. Jacobs |
The Space Requirements of Indexing Under Perspective Projections. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1996 |
DBLP DOI BibTeX RDF |
2-D images, complexity, object recognition, Indexing, invariants, space, perspective projection, geometric hashing, 3-D objects |
13 | Stan Sclaroff, Alex Pentland |
Modal Matching for Correspondence and Recognition. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1995 |
DBLP DOI BibTeX RDF |
shape invariants, vibration modes, eigenmodes, object recognition, finite element methods, deformation, Correspondence, shape description, modal analysis |
13 | Yacov Hel-Or, Amir Shmuel, Michael Werman |
Localization of primitives using adaptive projections. |
J. Intell. Robotic Syst. |
1994 |
DBLP DOI BibTeX RDF |
Pattern recognition, invariants, affine transformation |
|
|