|
|
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 |
20 | Isaac Weiss, Manjit Ray |
Recognizing Articulated Objects Using a Region-Based Invariant Transform. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2005 |
DBLP DOI BibTeX RDF |
Object recognition, transform, invariance, range images |
20 | Aaron R. Bradley, Zohar Manna, Henny B. Sipma |
Linear Ranking with Reachability. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Sung-Hyuk Cha, Michael L. Gargano, Louis V. Quintas, Eric M. Wahl |
A Vascular Network Growth Estimation Algorithm Using Random Graphs. |
GbRPR |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Byron Cook, Andreas Podelski, Andrey Rybalchenko |
Abstraction Refinement for Termination. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Xavier Rival |
Symbolic transfer function-based approaches to certified compilation. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
compilation, static analysis, abstract interpretation, certification, translation validation |
20 | Sriram Sankaranarayanan 0001, Henny Sipma, Zohar Manna |
Non-linear loop invariant generation using Gröbner bases. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
Gröbner bases, verification, program analysis, constraint programming, symbolic computation, ideals, invariant generation |
20 | Michael Colón |
Schema-Guided Synthesis of Imperative Programs by Constraint Solving. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Amitabh Mishra, Prithviraj Banerjee |
An Algorithm-Based Error Detection Scheme for the Multigrid Method. |
IEEE Trans. Computers |
2003 |
DBLP DOI BibTeX RDF |
rounding error analysis, parallel, error detection, partial differential equations, Algorithm-Based Fault Tolerance, multigrid method |
20 | Jean-François Mangin, Fabrice Poupon, Denis Rivière, Arnaud Cachia, D. Louis Collins, Alan C. Evans, Jean Régis |
3D Moment Invariant Based Morphometry. |
MICCAI (2) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Wim H. Hesselink |
An assertional criterion for atomicity. |
Acta Informatica |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Walter Bachl |
Semi-dynamic Orthogonal Drawings of Planar Graphs. |
GD |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Elizabeth L. Mansfield |
Algorithms for Symmetric Differential Systems. |
Found. Comput. Math. |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Nick Cropper, Ursula Martin |
The Classification of Polynomial Orderings on Monadic Terms. |
Appl. Algebra Eng. Commun. Comput. |
2001 |
DBLP DOI BibTeX RDF |
Termination, Term rewriting systems, Ordinals |
20 | Adam Brooks Webber |
What is a class invariant? |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
Java |
20 | Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck |
Parameterized Verification with Automatically Computed Inductive Assertions. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Anders Møller, Michael I. Schwartzbach |
The Pointer Assertion Logic Engine. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Ashish Tiwari 0001, Harald Rueß, Hassen Saïdi, Natarajan Shankar |
A Technique for Invariant Generation. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Rikard Berthilsson |
Character Recognition Using Shape for Curves. |
ICPR |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Klaus-Dieter Schewe, Bernhard Thalheim |
Towards a Theory of Consistency Enforcement. |
Acta Informatica |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Amitabh Mishra, Prithviraj Banerjee |
An Algorithm Based Error Detection Scheme for the Multigrid Algorithm. |
FTCS |
1999 |
DBLP DOI BibTeX RDF |
Algorithm Based fault Tolerance (ABFT), Parallel, Error Detection, Multigrid Method |
20 | Steve Dunne |
The Safe Machine: A New Specification Construct for B. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Rikard Berthilsson, Anders Heyden |
Recognition of Planar Point Configurations Using Density of Affine Shape. |
ECCV (1) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | David Slater, Glenn Healey |
Object recognition using invariant profiles. |
CVPR |
1997 |
DBLP DOI BibTeX RDF |
invariant profiles, multidimensional distributions, illumination-invariant recognition, object recognition, object recognition, sensitivity analysis, color images, surface representation |
20 | Luc Bougé, David Cachera |
A logical framework to prove properties of Alpha programs. |
ASAP |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Carlsson |
Projectively invariant decomposition and recognition of planar shapes. |
Int. J. Comput. Vis. |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Eric J. Pauwels, Theo Moons, Luc Van Gool, P. Kempenaers, André Oosterlinck |
Recognition of planar shapes under affine distortion. |
Int. J. Comput. Vis. |
1995 |
DBLP DOI BibTeX RDF |
|
20 | J. Brian Burns, Richard S. Weiss, Edward M. Riseman |
View Variation of Point-Set and Line-Segment Features. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1993 |
DBLP DOI BibTeX RDF |
feature variation, view variation, 3D point sets, weak perspective approximation, 2D line segment features, feature extraction, image recognition, image recognition |
20 | Opher Etzion |
PARDES - An Enhanced Active Database System (Abstract). |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Chong-Huah Lo, Hon-Son Don |
3-D Moment Forms: Their Construction and Application to Object Identification and Positioning. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1989 |
DBLP DOI BibTeX RDF |
3D moment method, Clebsch-Gordon expansion, pattern recognition, pattern recognition, motion estimation, picture processing, picture processing, perturbation, tensor, object identification, group theory, group theory, complex moments |
20 | Erik Meineche Schmidt, Michael I. Schwartzbach |
An Imperative Type Hierarchy with Partial Products. |
MFCS |
1989 |
DBLP DOI BibTeX RDF |
|
20 | Anthony P. Reeves, Richard J. Prokop, Susan E. Andrews, Frank P. Kuhl |
Three-Dimensional Shape Analysis Using Moments and Fourier Descriptors. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1988 |
DBLP DOI BibTeX RDF |
3-D shape analysis, 2-D image, boundary moments, pattern recognition, pattern recognition, picture processing, picture processing, silhouette, Fourier analysis, Fourier descriptors |
20 | Mordechai Ben-Ari |
On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs. |
ICALP |
1982 |
DBLP DOI BibTeX RDF |
|
19 | Sumit Gulwani, Florian Zuleger |
The reachability-bound problem. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
disjunctive invariants, resource bound analysis, pattern matching, transitive closure, ranking functions |
19 | XiaoFu Lee, Qian Yin |
Combining Color and Shape Features for Image Retrieval. |
HCI (7) |
2009 |
DBLP DOI BibTeX RDF |
HSV color features, Content-Based Image Retrieval (CBIR), moment invariants |
19 | Tom Ridge |
Verifying distributed systems: the operational approach. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning |
19 | Nan Xing, Imran Shafiq Ahmad |
Shape-based image retrieval. |
MoMM |
2009 |
DBLP DOI BibTeX RDF |
fuzzy k-means clustering, shape-based retrieval, image retrieval, Zernik moments, moment invariants |
19 | Sandip Ray, Warren A. Hunt Jr., John Matthews, J Strother Moore |
A Mechanical Analysis of Program Verification Strategies. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Inductive assertions, Partial correctness, Theorem proving, Invariants, Total correctness |
19 | Sascha A. Parduhn, Raimund Seidel, Reinhard Wilhelm |
Algorithm visualization using concrete and abstract shape graphs. |
SOFTVIS |
2008 |
DBLP DOI BibTeX RDF |
algorithm visualisation, shape graphs, invariants, shape analysis, algorithm animation |
19 | LunBo Li, Guangfu Ma |
Optimizing the Performance of Probabilistic Neural Networks Using PSO in the Task of Traffic Sign Recognition. |
ICIC (2) |
2008 |
DBLP DOI BibTeX RDF |
traffic signs recognition, combined blur-affine invariants, particle swarm optimization, probabilistic neural networks |
19 | Frantisek Capkovic |
Synthesis of the Supervising Agent in MAS. |
ICCS (3) |
2008 |
DBLP DOI BibTeX RDF |
modelling, MAS, Agent, Petri nets, invariants, supervisor |
19 | Dong Xu 0008, Hua Li 0009, Tongjun Gu |
Shape Representation and Invariant Description of Protein Tertiary Structure in Applications to Shape Retrieval and Classification. |
GMP |
2008 |
DBLP DOI BibTeX RDF |
triangulated surface, shape retrieval, moment invariants |
19 | Mario Vélez, Juan Ospina |
Gravitational Topological Quantum Computation. |
UC |
2007 |
DBLP DOI BibTeX RDF |
Gravitational computer, Topological quantum computing, link invariants, complexity, computability, entanglement |
19 | Xiaoliu Chen, Imran Shafiq Ahmad |
Shape-Based Image Retrieval Using k -Means Clustering and Neural Networks. |
PSIVT |
2007 |
DBLP DOI BibTeX RDF |
shape-based image retrieval, image retrieval, k-means clustering, Zernike moments, moment-invariants |
19 | Antoine Miné |
The octagon abstract domain. |
High. Order Symb. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Numerical abstract domains, Relational numerical invariants, Static analysis, Abstract interpretation |
19 | Qi-Xing Huang, Simon Flöry, Natasha Gelfand, Michael Hofer, Helmut Pottmann |
Reassembling fractured objects by geometric matching. |
ACM Trans. Graph. |
2006 |
DBLP DOI BibTeX RDF |
3D puzzle, feature-based registration, geometric matching, integral invariants, non-penetrating alignment |
19 | Nadya Kuzmina, Ruben Gamboa |
Dynamic constraint detection for polymorphic behavior. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
automatic specification recovery, class invariants, object constraints, dynamic invariant detection |
19 | Allen C. Tsai, Peter W. Gibbens, R. Hugh Stone |
Terminal Phase Vision-Based Target Recognition and 3D Pose Estimation for a Tail-Sitter, Vertical Takeoff and Landing Unmanned Air Vehicle. |
PSIVT |
2006 |
DBLP DOI BibTeX RDF |
Tail-sitter vertical takeoff and landing unmanned air vehicle, vision-based pose/attitude estimation, target identification/detection, perspective transformation and vision-based autonomous landing, computer vision, vanishing points, moment invariants, parallel lines |
19 | Svetlana Lazebnik, Jean Ponce |
The Local Projective Shape of Smooth Surfaces and Their Outlines. |
Int. J. Comput. Vis. |
2005 |
DBLP DOI BibTeX RDF |
projective differential geometry, oriented projective geometry, local shape, frontier points, differential invariants |
19 | Shihong Xia, Xianjie Qiu, Zhaoqi Wang |
A novel framework for athlete training based on interactive motion editing and silhouette analysis. |
VRST |
2005 |
DBLP DOI BibTeX RDF |
motion training, moment invariants, motion editing |
19 | Giovanni Garibotto, Marco Corvi |
Landmark-Based Stereo Vision. |
ICIAP |
2005 |
DBLP DOI BibTeX RDF |
3D stereovision, perspective invariants, Computer Vision, camera calibration |
19 | Hervé Locteau, Sébastien Adam, Éric Trupin, Jacques Labiche, Pierre Héroux |
Symbol Recognition Combining Vectorial and Statistical Features. |
GREC |
2005 |
DBLP DOI BibTeX RDF |
Graph Matching, Symbol Recognition, Moment Invariants, Symbol representation, Vectorisation |
19 | Martin Reuter 0001, Franz-Erich Wolter, Niklas Peinecke |
Laplace-spectra as fingerprints for shape matching. |
Symposium on Solid and Physical Modeling |
2005 |
DBLP DOI BibTeX RDF |
parameterized surfaces and bodies, shape invariants, fingerprints, copyright protection, shape matching, NURBS, polyhedra, database retrieval, laplace-beltrami operator |
19 | Nicholas Eriksson |
Toric ideals of homogeneous phylogenetic models. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
Gröbner bases, parametric inference, phylogenetic invariants, toric ideals |
19 | H. M. W. Verbeek, Twan Basten |
Deciding Life-Cycle Inheritance on Petri Nets. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
life-cycle inheritance, branching bisimilarity, T-invariants, Petri nets, workflow, Object-orientation, backtracking, structural properties |
19 | Jens Gravesen, Michael Ungstrup |
Constructing Invariant Fairness Measures for Surfaces. |
Adv. Comput. Math. |
2002 |
DBLP DOI BibTeX RDF |
fairness measure, plane intersection, fairing, invariants, surface design |
19 | Anneke Kleppe, Jos Warmer |
The Semantics of the OCL Action Clause. |
Object Modeling with the OCL |
2002 |
DBLP DOI BibTeX RDF |
action clause, UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions |
19 | Antoine Miné |
The Octagon Abstract Domain. |
WCRE |
2001 |
DBLP DOI BibTeX RDF |
linear invariants, abstract interpretation, safety analysis, abstract domains, static analysis tools |
19 | Eckhard Pflügel |
Effective Formal Reduction of Linear Differential Systems. |
Appl. Algebra Eng. Commun. Comput. |
2000 |
DBLP DOI BibTeX RDF |
Linear Differential Systems, Formal Solutions, Formal Invariants, Newton Polygon |
19 | Anneke Kleppe, Jos Warmer |
Extending OCL to include Actions. |
UML |
2000 |
DBLP DOI BibTeX RDF |
UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions |
19 | Hans-Arno Jacobsen, Bernd J. Krämer |
Modeling Interface Definition Language Extensions. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
interface definition language extensions, module names, interface names, operation signatures, pre-conditions, post-conditions, service quality annotations, real-time annotations, combined modeling language, CORBA middleware platform, semantic aspects specification, XML document type definitions, Extensible Style Language, quality of service, Extensible Markup Language, specification languages, invariants, synchronisation, client-server systems, subroutines, distributed object management, XSL, OMG, hypermedia markup languages, synchronization constraints |
19 | Walid S. Ibrahim, Fernand S. Cohen |
3D Geometric Invariant Alignment of Surfaces with Application in Brain Mapping. |
CVPR |
1999 |
DBLP DOI BibTeX RDF |
Surface alignment, umbilical curves, inflection points, absolute invariants, geodesics, brain mapping |
19 | Alfred O. Hero III, Christophe Guillouet |
Robust detection of SAR/IR targets via invariance. |
ICIP (3) |
1997 |
DBLP DOI BibTeX RDF |
robust detection, SAR/IR targets, high clutter backgrounds, clutter statistics, test statistics, clutter variations, maximal invariants, target detection algorithms design, constant false alarm rate, high target detection rate, multisnapshot radar images, multispectral radar images, synthetic aperture radar, automatic target recognition |
19 | Luc Van Gool, Theo Moons, Marc Proesmans |
Mirror and Point Symmetry under Perspective Skewing. |
CVPR |
1996 |
DBLP DOI BibTeX RDF |
skewed mirror and point symmetry, symmetry invariants, grouping, hypothesis testing, projective transformations |
19 | Amnon Shashua |
Algebraic Functions For Recognition. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1995 |
DBLP DOI BibTeX RDF |
reprojection, algebraic and geometric invariants, alignment, projective geometry, Visual recognition |
19 | Kenji Nagao |
Recognizing 3D Objects Using Photometric Invariant. |
ICCV |
1995 |
DBLP DOI BibTeX RDF |
photometric property, relative object motion, conventional color constancy algorithms, varying light conditions, derived color invariant, data space coordinates, centroid invariance, feature positions, computational geometry, object recognition, 3D object recognition, geometric invariants, spatial constraints, photometry, photometric invariant, 3D space |
19 | Amnon Shashua, Michael Werman |
Trilinearity of Three Perspective Views and its Associated Tensor. |
ICCV |
1995 |
DBLP DOI BibTeX RDF |
three perspective views, trilinear forms, intrinsic coefficients, trilinear coefficients, homography matrices, intrinsic planes, 3D invariants, epipoles, Euclidean structure, trilinear tensor, 3D recovery, 2D views, computational geometry, image reconstruction, matrix algebra, epipolar geometry, matrix, tensors, tensor, projective transformations |
19 | Long Quan |
Invariant of a Pair of Non-Coplanar Conies in Space: Definition, Geometric Interpretation and Computation. |
ICCV |
1995 |
DBLP DOI BibTeX RDF |
noncoplanar conics, joint invariants, coplanar conics, algebraic invariant, invariant algebra, quaternary quadratic forms, computer vision, computational geometry, image reconstruction, image recognition, calibration, algebra, cross-ratios, geometric interpretation, uncalibrated images, geometric computation |
19 | Murat Tandirci, Jorge Angeles, John Darcovich |
On rotation representations in computational robot kinematics. |
J. Intell. Robotic Syst. |
1994 |
DBLP DOI BibTeX RDF |
Computational kinematics, forward and inverse kinematics, robotic manipulators, rotation invariants |
19 | Raymond K. K. Yip, Peter Kwong-Shun Tam, Dennis N. K. Leung |
Application of Elliptic Fourier Descriptors to Symmetry Detection Under Parallel Projection. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
elliptic Fourier descriptors, parallel projection, arc length parameterization, planar object recognition, computer vision, iterative methods, invariance, invariants, iteration algorithm, symmetry detection, series (mathematics) |
19 | Joanne M. Atlee, John D. Gannon |
State-Based Model Checking of Event-Driven System Requirements. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
event-driven system requirements, SCR tabular requirements, A-7 military aircraft, system invariants, automobile cruise control system, water-level monitoring system, model checking, formal specification, formal specification, formal verification, temporal logics, software requirements |
19 | Daniel Hoffman, Paul A. Strooper |
Automated Module Testing in Prolog. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
input generation, test oracle problems, test inputs, output oracle, automated input generation, trace invariants, run-time performance, logic programming, Prolog, PROLOG, C, program testing, random testing, functional testing, C language, maintenance costs |
19 | Stanley Lee, Suzanne Sluizer |
An Executable Language For Modeling Simple Behavior. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
state transition language, executable language, simple behavior, conventional state-transition framework, model behavior, logical invariants, entity-relationship structure, declarative logic, SXL, specification-oriented methods, formal specification, logic programming, software development, specification languages, modeling language, executable model, system behavior, requirements document, behavioral description |
19 | Alan C. Shaw |
Reasoning About Time in Higher-Level Language Software. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
higher-level language software, program elements, time-related statements, timing invariants, periodic processes, real-time systems, real-time, formal specification, synchronization, specification, lower bounds, delay, concurrent programs, synchronisation, upper bounds, assertions, deadlines, execution times, computer times, formal logic, Hoare logic, timing bounds, sequential programs |
18 | Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias |
Analysis of invariants for efficient bounded verification. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
dynalloy, kodkod, sat-based code analysis, static analysis, alloy |
18 | Matthew A. Holgate, Thomas Sugar, Alexander W. Boehler |
A novel control algorithm for wearable robotics using phase plane invariants. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Yumi Iwashita, Ryo Kurazume |
Person identification from human walking sequences using affine moment invariants. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Yu-Kun Lai, Shi-Min Hu 0001, Tong Fang |
Robust principal curvatures using feature adapted integral invariants. |
Symposium on Solid and Physical Modeling |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Mohamed Amine Boutiche |
Control of Some Graph Invariants in Dynamic Routing. |
MCO |
2008 |
DBLP DOI BibTeX RDF |
Tree length, Routing, Graphs, Topology Control, Tree Decomposition, Tree width |
18 | Omar Tahri, François Chaumette, Youcef Mezouar |
New decoupled visual servoing scheme based on invariants from projection onto a sphere. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Miaomiao Zhang, Dang Van Hung, Zhiming Liu 0001 |
Verification of Linear Duration Invariants by Model Checking CTL Properties. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Haihe Shi, Dawei Du, Jinyun Xue |
Generating Algorithms plus Loop Invariants by Formal Derivation. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Pavel Vacha, Michal Haindl |
Illumination invariants based on Markov random fields. |
ICPR |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg |
Regional Logic for Local Reasoning about Global Invariants. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Prashan Premaratne, Farzad Safaei |
Stereo Correspondence Using Moment Invariants. |
ICIC (3) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Xavier Allamigeon, Stephane Gaubert, Eric Goubault |
Inferring Min and Max Invariants Using Max-Plus Polyhedra. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Johann A. Makowsky |
Uniform Algebraic Reducibilities between Parameterized Numeric Graph Invariants. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Shan Lu 0001, Joseph A. Tucek, Feng Qin, Yuanyuan Zhou 0001 |
AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants. |
IEEE Micro |
2007 |
DBLP DOI BibTeX RDF |
reliability, testing, debugging, concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation |
18 | Gang Zheng, Chia-Jiu Wang, Terrance E. Boult |
Application of Projective Invariants in Hand Geometry Biometrics. |
IEEE Trans. Inf. Forensics Secur. |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Makram Nabti, Ahmed Bouridane |
Wavelet Maxima and Moment Invariants Based Iris Feature Extraction. |
ICIP (2) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan |
Generating Polynomial Invariants with DISCOVERER and QEPCAD. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
Semi-Algebraic Systems, DISCOVERER, QEPCAD, Program Verification, Quantifier Elimination, Invariant Generation, Polynomial Programs |
18 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Model Checking Invariants Through Search. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Tian-Tsong Ng, Shih-Fu Chang, Mao-Pei Tsui |
Using Geometry Invariants for Camera Response Function Estimation. |
CVPR |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Zhong Yi Sun 0003, Denis Rivière, Fabrice Poupon, Jean Régis, Jean-François Mangin |
Automatic Inference of Sulcus Patterns Using 3D Moment Invariants. |
MICCAI (1) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | André Platzer |
A Temporal Dynamic Logic for Verifying Hybrid System Invariants. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
logic for hybrid systems, deductive verification of embedded systems, temporal logic, dynamic logic, sequent calculus |
18 | Marian V. Iordache, Panos J. Antsaklis |
Supervision Based on Place Invariants: A Survey. |
Discret. Event Dyn. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Petri nets, Mutual exclusion, Supervisory control |
18 | Abdullah I. Al-Shoshan |
Handwritten Signature Verification Using Image Invariants and Dynamic Features. |
CGIV |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Shijian Lu, Chew Lim Tan |
Camera Text Recognition based on Perspective Invariants. |
ICPR (2) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Jianjiang Feng, Anni Cai |
Fingerprint Indexing Using Ridge Invariants. |
ICPR (4) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Alberto Dainotti, Alessio Botta, Antonio Pescapè, Giorgio Ventre |
Searching for invariants in network games traffic. |
CoNEXT |
2006 |
DBLP DOI BibTeX RDF |
measurement, traffic analysis, networked games |
Displaying result #401 - #500 of 4073 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|