|
|
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 |
31 | Jan-Mark Geusebroek, Dennis C. Koelma, Arnold W. M. Smeulders, Theo Gevers |
Image Retrieval and Segmentation based on Color Invariants. |
CVPR |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Zhengwei Yang, Fernand S. Cohen |
Image registration and object recognition using affine invariants and convex hulls. |
IEEE Trans. Image Process. |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Ali Nosary, Laurent Heutte, Thierry Paquet, Yves Lecourtier |
Defining Writer's Invariants to Adapt the Recognition Task. |
ICDAR |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Luc Van Gool, Theo Moons, Dorin Ungureanu |
Affine/ Photometric Invariants for Planar Intensity Patterns. |
ECCV (1) |
1996 |
DBLP DOI BibTeX RDF |
|
31 | Theo Moons, Eric J. Pauwels, Luc Van Gool, André Oosterlinck |
Foundations of semi-differential invariants. |
Int. J. Comput. Vis. |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Jean-Michel Couvreur, Emmanuel Paviot-Adet |
New Structural Invariants for Petri Nets Analysis. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Sven Vinther, Roberto Cipolla |
Active 3D Object Recognition using 3D Affine Invariants. |
ECCV (2) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Joseph Sifakis |
Global and Local Invariants in Transition Systems. |
ICALP |
1982 |
DBLP DOI BibTeX RDF |
|
31 | Stephanie Balzer, Thomas R. Gross |
Modular reasoning about invariants over shared state with interposed data members. |
PLPV |
2010 |
DBLP DOI BibTeX RDF |
ownership type systems, invariants |
31 | Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jörg Bormann, Wolfgang Kunz |
Analyzing k-step induction to compute invariants for SAT-based property checking. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
k-step induction, symbolic traversal, invariants, IPC |
31 | Marinella Cadoni, Manuele Bicego, Enrico Grosso |
3D Face Recognition Using Joint Differential Invariants. |
ICB |
2009 |
DBLP DOI BibTeX RDF |
Biometrics, Invariants, 3D Face Recognition |
31 | Mostafa Jabarouti Moghaddam, Hamid Soltanian-Zadeh |
Automatic Segmentation of Brain Structures Using Geometric Moment Invariants and Artificial Neural Networks. |
IPMI |
2009 |
DBLP DOI BibTeX RDF |
Geometric Moments Invariants, Artificial Neural Network, Magnetic Resonance Images, automatic segmentation |
31 | Olga Grinchtein, Martin Leucker |
Network invariants for real-time systems. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Real-time systems, Parameterized systems, Network invariants |
31 | Amit M. Paradkar, Avik Sinha |
Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation. |
ICSOC |
2008 |
DBLP DOI BibTeX RDF |
Invariants analysis, Service Functional Testing, Automated Test Generation |
31 | Magne Haveraaen, Karl Trygve Kalleberg |
JAxT and JDI: the simplicity of junit applied to axioms and data invariants. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
data invariants, java, program transformation, unit testing, test data generation, axioms, junit, mouldable programming |
31 | Azah Kamilah Muda, Siti Mariyam Hj. Shamsuddin, Maslina Darus |
Invariants Discretization for Individuality Representation in Handwritten Authorship. |
IWCF |
2008 |
DBLP DOI BibTeX RDF |
Authorship Invarianceness, Invariants Discretization, Writer Identification |
31 | Ning Ouyang, Leping Lin, Zhao Liu |
Cross-View Object Tracking by Projective Invariants and Feature Matching. |
PCM |
2008 |
DBLP DOI BibTeX RDF |
Cross-view tracking, Feature Matching, projective invariants |
31 | Alberto Pinto, Goffredo Haus |
A novel XML music information retrieval method using graph invariants. |
ACM Trans. Inf. Syst. |
2007 |
DBLP DOI BibTeX RDF |
melodic similarity, XML, metadata, Graphs, music, invariants, music information retrieval, structural properties |
31 | David A. Naumann |
On assertion-based encapsulation for object invariants and simulations. |
Formal Aspects Comput. |
2007 |
DBLP DOI BibTeX RDF |
Object invariants, Encapsulation and abstraction, Separation and alias control |
31 | Makram Nabti, Ahmed Bouridane |
An Improved Iris Recognition System Using Feature Extraction Based on Wavelet Maxima Moment Invariants. |
ICB |
2007 |
DBLP DOI BibTeX RDF |
wavelet maxima, biometrics, iris recognition, moment invariants, multiscale edge detection |
31 | Ekaterina Shemyakova, Franz Winkler 0001 |
A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
Linear Partial Differential Operators, Gauge transformations, Invariants |
31 | Theo Gevers, Harro M. G. Stokman |
Robust Histogram Construction from Color Invariants for Object Recognition. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2004 |
DBLP DOI BibTeX RDF |
color invariants, histogram construction, noise propagation, Object recognition, matching, kernel density estimation, noise robustness |
31 | Shao Ying Zhu, Gerald Schaefer |
Thermal Medical Image Retrieval by Moment Invariants. |
ISBMDA |
2004 |
DBLP DOI BibTeX RDF |
Thermal medical images, medical infrared images, content-based image retrieval, moment invariants |
31 | A. Prasad Sistla, Viktor Gyuris |
Parameterized Verification of Linear Networks using Automata as Invariants. |
Formal Aspects Comput. |
1999 |
DBLP DOI BibTeX RDF |
Safety, Invariants, Automata, Induction, Liveness, Linear networks |
31 | Cordelia Schmid, Roger Mohr |
Local Grayvalue Invariants for Image Retrieval. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1997 |
DBLP DOI BibTeX RDF |
graylevel invariants, Image retrieval, matching, image indexing, interest points |
31 | Helmer Aslaksen, Shih-Ping Chan, Tor Gulliksen |
Invariants ofS4 and the shape of sets of vectors. |
Appl. Algebra Eng. Commun. Comput. |
1995 |
DBLP DOI BibTeX RDF |
Invariants of finite groups, Shape of sets of vectors |
31 | Kalle Åström |
Fundamental Limitations on Projective Invariants of Planar Curves. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1995 |
DBLP DOI BibTeX RDF |
Projective and affine invariants, recognition, Hausdorff metric |
31 | Kurt Lautenbach, Hanno Ridder |
Liveness in Bounded Petri Nets Which Are Covered by T-Invariants. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
linear invariants, deadlocks, liveness |
31 | Bart M. ter Haar Romeny, Luc Florack, Jan J. Koenderink, Max A. Viergever |
Scale-Space: Its Natural Operators and Differential Invariants. |
IPMI |
1991 |
DBLP DOI BibTeX RDF |
Scale-space, gaussian kernel, gaussian derivatives, differential invariants |
31 | Tadao Murata, Boris Shenker, Sol M. Shatz |
Detection of Ada Static Deadlocks Using Petri Net Invariants. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
Ada static deadlocks, Petri net invariants, Ada tasking programs, message-flow, computational complexity, complexities, Petri nets, Ada, concurrency control, program testing, system recovery, control-flow |
31 | Jean-Michel Couvreur, Javier Martínez |
Linear invariants in commutative high level nets. |
Applications and Theory of Petri Nets |
1989 |
DBLP DOI BibTeX RDF |
Linear invariants, flow computation, structural analysis methods, subclasses of Petri nets, colored nets |
26 | Hui Zhang 0062, Kwan-Yee Kenneth Wong |
Self-Calibration of Turntable Sequences from Silhouettes. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Helmut E. Bez |
The Invariant Functions of the Rational Bi-cubic Bézier Surfaces. |
IMA Conference on the Mathematics of Surfaces |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Cecilia Di Ruberto, Andrea Morgera |
Moment-Based Techniques for Image Retrieval. |
DEXA Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Hui Zhang 0062, Ling Shao 0001, Kwan-Yee Kenneth Wong |
Motion Recovery for Uncalibrated Turntable Sequences Using Silhouettes and a Single Point. |
ACIVS |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Gang Xu, Yuqing Lei |
A new image recognition algorithm based on skeleton. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Vishnu C. Vimjam, Michael S. Hsiao |
Explicit Safety Property Strengthening in SAT-based Induction. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Myla Archer |
Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Pew-Thian Yap, Paramesran Raveendran, Seng-Huat Ong |
Image analysis by Krawtchouk moments. |
IEEE Trans. Image Process. |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Tosiyasu L. Kunii |
Algebraic Topological Modeling for Cyberworld Design. |
CW |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Hongwei Xi |
Facilitating Program Verification with Dependent Types. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Ana Georgina Flesia, David L. Donoho |
Implications for Image Watermarking of Recent Work in Image Analysis and Representation. |
IWDW |
2002 |
DBLP DOI BibTeX RDF |
Image Steganography, Natural Scene Statistics, Geometric Diffusion by Level Set Methods, Computational Harmonic Analysis, Wavelets, Interpolation, Discrete Cosine Transform, Inpainting, Image Watermarking, Total Variation |
26 | Peter J. Olver |
Joint Invariant Signatures. |
Found. Comput. Math. |
2001 |
DBLP DOI BibTeX RDF |
AMS Classification. 53A55, 35A30, 15A72, 58570, 58A20 |
26 | Isaac Weiss, Manjit Ray |
Model-Based Recognition of 3D Objects from Single Images. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2001 |
DBLP DOI BibTeX RDF |
Object recognition, invariance, model-based |
26 | Theo Gevers, Arnold W. M. Smeulders |
PicToSeek: combining color and shape invariant features for image retrieval. |
IEEE Trans. Image Process. |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Jamie Stark, Andrew Ireland |
Invariant Discovery via Failed Proof Attempts. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Glenn Healey, David Slater |
Computing illumination-invariant descriptors of spatially filtered color image regions. |
IEEE Trans. Image Process. |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Charlie Rothwell, Julien P. Stern |
Understanding the Shape Properties of Trihedral Polyhedra. |
ECCV (1) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Norihisa Suzuki, Kiyoshi Ishihata |
Implementation of an Array Bound Checker. |
POPL |
1977 |
DBLP DOI BibTeX RDF |
|
26 | Andreas Podelski, Thomas Wies |
Counterexample-guided focus. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
quantified invariants, data structures, shape analysis, predicate abstraction, abstraction refinement |
26 | Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller |
A language and framework for invariant-driven transformations. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
runtime invariant checking, program transformation, invariants, program optimization, incremental maintenance |
26 | Artur Boronat, José Meseguer 0001 |
Algebraic Semantics of OCL-Constrained Metamodel Specifications. |
TOOLS (47) |
2009 |
DBLP DOI BibTeX RDF |
OCL invariants, MOF metamodel, static and dynamic analysis of models, Membership equational logic |
26 | Guofei Jiang, Haifeng Chen, Kenji Yoshihira |
Profiling services for resource optimization and capacity planning in distributed systems. |
Clust. Comput. |
2008 |
DBLP DOI BibTeX RDF |
System invariants, Distributed systems, Algorithms, System management, Capacity planning, Resource optimization |
26 | Mingxin Zhang, Zhaogan Lu, Junyi Shen |
A Novel Hierarchical Block Image Retrieval Scheme Based Invariant Features. |
Innovations in Hybrid Intelligent Systems |
2008 |
DBLP DOI BibTeX RDF |
normalized histogram, hierarchical image segmentation, image retrieval, geometric invariants |
26 | Madhu Gopinathan, Sriram K. Rajamani |
Enforcing object protocols by combining static and runtime analysis. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
aspect oriented programming, program verification, invariants |
26 | Bican Xia, Lu Yang, Naijun Zhan |
Program Verification by Reduction to Semi-algebraic Systems Solving. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Semi-Algebraic Systems, Program Verification, Invariants, Quantifier Elimination, Ranking Functions, Polynomial Programs |
26 | Matthew Kaplan 0003, Tim Klinger, Amit M. Paradkar, Avik Sinha, Clay Williams, Cemal Yilmaz 0001 |
Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
UML Model-based Test Generation, Use Case Based Test Generation, Test Verification Sequence, Fault Models for UML, Invariants analysis |
26 | Imad Muhi El-Ddin, Hedley Morris, Mohammad Eyadat |
Watermarking: A New Approach. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
SIFT algorithm, Watermarking, feature points, affine invariants, shape space |
26 | Torben Amtoft, Anindya Banerjee 0001 |
Verification condition generation for conditional information flow. |
FMSE |
2007 |
DBLP DOI BibTeX RDF |
conditional information flow analysis, object invariants, verification condition generation |
26 | Mingxin Zhang, Zhaogan Lu, Junyi Shen |
An Effective Content-Based Image Retrieval System by Hierachical Segmentation. |
IDEAL |
2007 |
DBLP DOI BibTeX RDF |
normalized histogram, image retrieval, geometric invariants, hierarchical segmentation |
26 | Kuo-Hua Lo, Mau-Tsuen Yang, Rong-Yu Lin |
Shadow Removal for Foreground Segmentation. |
PSIVT |
2006 |
DBLP DOI BibTeX RDF |
shadow removal, penumbra, foreground segmentation, photometric invariants |
26 | Artur Boronat, Joaquín Oriente, Abel Gómez 0001, Isidro Ramos, José A. Carsí |
An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework. |
ECMDA-FA |
2006 |
DBLP DOI BibTeX RDF |
OCL queries and invariants, MDA, metamodeling, algebraic specification |
26 | Matatyahu Rubin |
On Lalpha, omega complete extensions of complete theories of Boolean algebras. |
Arch. Math. Log. |
2004 |
DBLP DOI BibTeX RDF |
L1, Tarskis invariants |
26 | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic |
Secure protocol composition. |
FMSE |
2003 |
DBLP DOI BibTeX RDF |
logic, security protocols, invariants, protocol composition |
26 | Tosiyasu L. Kunii |
Cyber Graphics (Keynote). |
CW |
2002 |
DBLP DOI BibTeX RDF |
adjunction spaces, cell attaching functions, a hierarchy of invariants, cellular spatial structures |
26 | Ragini Choudhury, J. B. Srivastava, Santanu Chaudhury |
Reconstruction-Based Recognition of Scenes with Translationally Repeated Quadrics. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2001 |
DBLP DOI BibTeX RDF |
translationally repeated objects, reconstruction, recognition, 3D objects, projective invariants, quadrics |
26 | Serafino Cicerone, Daniele Frigioni, Paolino Di Felice |
Decomposing Spatial Databases and Applications. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
spatial database decomposition, boundary decomposition, polynomial time algorithm, visual databases, topological invariants |
26 | Florica Mindru, Theo Moons, Luc Van Gool |
Recognizing Color Patterns Irrespective of Viewpoint and Illumination. |
CVPR |
1999 |
DBLP DOI BibTeX RDF |
color pattern recognition, viewpoint and illumination independence, matching and indexing, moment invariants |
26 | Tosiyasu L. Kunii, Takao Maeda |
On The Silhouette Cartoon Animation. |
CA |
1996 |
DBLP DOI BibTeX RDF |
silhouette cartoon animation, human visual cognition, object movement, shape characteristics, dolphin, orientation independent invariants, convex portion, concave portions, user interfaces, computational geometry, computational geometry, human factors, graph, computer animation, computer animation, entertainment, visual perception, research, object identification, swimming, jumping |
26 | Michael Werman, Amnon Shashua |
The Study of 3D-from-2D Using Elimination. |
ICCV |
1995 |
DBLP DOI BibTeX RDF |
3D geometric invariants, multiple 2D views, invariant functions, trilinearity, Grobner base computation, elimination process, quadlinear tensor, minimal sets, distinct coefficients, N view geometry, 3D from 2D geometry, computational geometry, linear algebra, set theory, epipolar geometry, tensors, point correspondences, algebraic geometry |
26 | Kalle Åström |
Affine and Projective Normalization of Planar Curves and Regions. |
ECCV (2) |
1994 |
DBLP DOI BibTeX RDF |
projective and affine invariants, Recognition, planar curves |
25 | Humberto Sossa, Antonio Villasenor, Juan L. Olguin, Francisco A. Toscano |
SISREC: A System for Image Retrieval. |
ENC |
2003 |
DBLP DOI BibTeX RDF |
describing features, object recognition, Image retrieval, invariants, geometric invariants |
25 | Mourad Zerroug, Ramakant Nevatia |
Three-Dimensional Descriptions Based on the Analysis of the Invariant and Quasi-Invariant Properties of Some Curved-Axis Generalized Cylinders. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1996 |
DBLP DOI BibTeX RDF |
quasi-invariants, segmentation, invariants, grouping, Shape description, generalized cylinders |
24 | Alexander Heußner, Tristan Le Gall, Grégoire Sutre |
Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier |
Type invariants for Haskell. |
PLPV |
2009 |
DBLP DOI BibTeX RDF |
type families, type functions, haskell, type checking |
24 | Jeongoo Cheh, Peter J. Olver, Juha Pohjanpelto |
Algorithms for Differential Invariants of Symmetry Groups of Differential Equations. |
Found. Comput. Math. |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Matías L. del Hoyo, Elias Gabriel Minian |
Classical Invariants for Global Actions and Groupoid Atlases. |
Appl. Categorical Struct. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 19D99, 20L05, 18G55, 55U35 |
24 | Yoshihisa Shinagawa |
Homotopic Image Pseudo-Invariants for Openset Object Recognition and Image Retrieval. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Telmo Amaral, Stephen J. McKenna, Katherine Robertson, Alastair M. Thompson |
Classification of breast-tissue microarray spots using colour and local invariants. |
ISBI |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Ashish Tiwari 0001 |
Generating Box Invariants. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Nawaf I. Almoosa, Soo Hyun Bae, Biing-Hwang Juang |
Toward robust moment invariants for image registration. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Li Chen 0002, Yongwu Rong |
Linear time recognition algorithms for topological invariants in 3D. |
ICPR |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Tomás Suk, Jan Flusser |
Affine moment invariants generated by automated solution of the equations. |
ICPR |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Xavier Litrico, Vincent Fromion |
A link between Riemann invariants and frequency domain approaches for boundary control of open channel flow. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Dong Xu 0008, Ping Hu, Weiguo Cao, Hua Li 0009 |
SHREC'08 entry: 3D face recognition using moment invariants. |
Shape Modeling International |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Saad Ali, Arslan Basharat, Mubarak Shah |
Chaotic Invariants for Human Action Recognition. |
ICCV |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Michèle Gouiffès |
Tracking by Combining Photometric Normalization and Color Invariants According to their Relevance. |
ICIP (6) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu |
Improving Static Variable Orders Via Invariants. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Jörg Bauer 0001, Tobe Toben, Bernd Westphal |
Mind the Shapes: Abstraction Refinement Via Topology Invariants. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Esa Rahtu, Mikko Salo, Janne Heikkilä |
Nonlinear Functionals in the Construction of Multiscale Affine Invariants. |
SCIA |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Julia Chifman, Sonja Petrovic |
Toric Ideals of Phylogenetic Invariants for the General Group-Based Model on Claw Trees K 1, n . |
AB |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Sigmund Cherem, Radu Rugina |
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Jan Flusser, Jaroslav Kautsky, Filip Sroubek |
Object Recognition by Implicit Invariants. |
CAIP |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Lee-Yeng Ong, Chee-Way Chong, Rosli Besar |
Scale Invariants of Three-Dimensional Legendre Moments. |
ICPR (3) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Olga Grinchtein, Martin Leucker, Nir Piterman |
Inferring Network Invariants Automatically. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Alaa Halawani, Hashem Tamimi |
Retrieving Objects Using Local Integral Invariants. |
CIVR |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Peter Niebert, Hongyang Qu 0001 |
Adding Invariants to Event Zone Automata. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Shan Lu 0001, Joseph A. Tucek, Feng Qin, Yuanyuan Zhou 0001 |
AVIO: detecting atomicity violations via access interleaving invariants. |
ASPLOS |
2006 |
DBLP DOI BibTeX RDF |
concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation |
24 | Alaa Halawani, Hashem Tamimi, Hans Burkhardt, Andreas Zell |
Using Local Integral Invariants for Object Recognition in Complex Scenes. |
ICIAR (2) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Xiao Bai 0001, Edwin R. Hancock |
Clustering shapes using heat content invariants. |
ICIP (1) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 4073 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|