|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5010 occurrences of 2619 keywords
|
|
|
Results
Found 17057 publication records. Showing 17057 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Jeffrey A. Fessler, W. Leslie Rogers |
Spatial resolution properties of penalized-likelihood image reconstruction: space-invariant tomographs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 5(9), pp. 1346-1358, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
12 | Wen-Rong Wu, Shieh-Chung Wei |
Rotation and gray-scale transform-invariant texture classification using spiral resampling, subband decomposition, and hidden Markov model . ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 5(10), pp. 1423-1434, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
12 | Ioannis Andreadis, Philippos Tsalides |
Coloured object recognition using invariant spectral features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 13(1), pp. 93-106, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
pattern recognition, filters, mathematical morphology, Colour |
12 | Michael Werman, Daphna Weinshall |
Similarity and Affine Invariant Distances Between 2D Point Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 17(8), pp. 810-814, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
2D affine invariance, 2D similarity invariance, Image matching, pattern analysis, image metric |
12 | Fernand S. Cohen, Zhaohui Huang, Zhengwei Yang |
Invariant matching and identification of curves using B-splines curve representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 4(1), pp. 1-10, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
12 | G. A. Watson |
The solution of orthogonal Procrustes problems for a family of orthogonally invariant norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 2(4), pp. 393-405, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
AMS(MOS) subject classification 65F30 |
12 | Guillermo Sapiro, Allen R. Tannenbaum |
Area and Lenght Preserving Geometric Invariant Scale-Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV'94, Third European Conference on Computer Vision, Stockholm, Sweden, May 2-6, 1994, Proceedings, Volume II, pp. 449-458, 1994, Springer, 3-540-57957-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
12 | Gonzalo Joya Caparrós, Francisco Sandoval Hernández |
Projectivity Invariant Pattern Recognition with High-Order Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: New Trends in Neural Computation, International Workshop on Artificial Neural Networks, IWANN '93, Sitges, Spain, June 9-11, 1993, Proceedings, pp. 513-518, 1993, Springer, 3-540-56798-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Gilles Lachaud |
Exponential Sums as Discrete Fourier Transform with Invariant Phase Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 10th International Symposium, AAECC-10, San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993, Proceedings, pp. 231-243, 1993, Springer, 3-540-56686-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Shafi Goldwasser, Rafail Ostrovsky |
Invariant Signatures and Non-Interactive Zero-Knowledge Proofs are Equivalent (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '92, 12th Annual International Cryptology Conference, Santa Barbara, California, USA, August 16-20, 1992, Proceedings, pp. 228-245, 1992, Springer, 3-540-57340-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
12 | Kie-Bum Eom, Juha Park |
Shape recognition by a scale-invariant model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Integr. ![In: J. Syst. Integr. 1(2), pp. 215-233, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
circular autoregressive model, shape recognition, maximum likelihood method |
12 | Wolfgang Pölzleitner, Harry Wechsler |
Selective and Focused Invariant Recognition Using Distributed Associative Memories (DAM). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(8), pp. 809-814, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
2-D object recognition, Moore-Penrose distributed associative memory, association weights, computerised pattern recognition, computerised pattern recognition, selectivity, regression analysis, content addressable storage, content-addressable storage |
12 | Stan Z. Li |
Invariant surface segmentation through energy minimization with discontinuities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 5(2), pp. 161-194, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
surface curvature, segmentation, regularization, invariance, energy minimization, range images, differential geometry, discontinuities, symbolic descriptions |
12 | Pascale Charpin |
A Minimum System of Generators for Extended Cyclic Codes which are Invariant under the Affine Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Algebraic Algorithms and Error-Correcting Codes, 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985, Proceedings, pp. 34-42, 1985, Springer, 3-540-16776-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
12 | Manfred Broy, Bernd Krieg-Brückner |
Derivation of Invariant Assertions During Program Development by Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 2(3), pp. 321-337, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
12 | M. R. Scott, Lawrence F. Shampine, G. Milton Wing |
Invariant imbedding and the calculation of eigenvalues for Sturm-Liouville systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 4(1), pp. 10-23, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
|
11 | Dimitris Arabadjis, Panayiotis Rousopoulos, Constantin Papaodysseus, Mihalis Exarhos, Michail Panagopoulos, Lena Papazoglou-Manioudaki |
Optimization in Differentiable Manifolds in Order to Determine the Method of Construction of Prehistoric Wall Paintings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 33(11), pp. 2229-2244, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Rotation and translation invariant curve fitting, pattern recognition in paintings, optimization in differentiable manifolds, geometric guides in prehistoric wall paintings, minimal parameters set for curve description, fitting prototype curves to drawn borders |
11 | Arati Baliga, Vinod Ganapathy, Liviu Iftode |
Detecting Kernel-Level Rootkits Using Data Structure Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 8(5), pp. 670-684, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Kernel-level rootkits, noncontrol data attacks, invariant inference, static and dynamic program analysis |
11 | Hui Kong 0004, Hehua Zhang, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001 |
Proving Computational Geometry Algorithms in TLA+2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011, pp. 251-254, 2011, IEEE Computer Society, 978-1-4577-1487-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
algorithm verification, TLA+2, geometry algorithm, theorem proving, loop invariant |
11 | Dimitris Arabadjis, Panayiotis Rousopoulos, Constantin Papaodysseus, Mihalis Panagopoulos, Panayiota Loumou, Georgios Theodoropoulos 0002 |
A General Methodology for the Determination of 2D Bodies Elastic Deformation Invariants: Application to the Automatic Identification of Parasites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 32(5), pp. 799-814, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Deformation invariant elastic properties, automatic curve classification, parasite automatic identification, straightening deformed objects, pattern classification techniques, image analysis, elastic deformation |
11 | Hilla Ben-Yaacov, David Malah, Meir Barzohar |
Recognition of 3D Objects Based on Implicit Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 32(5), pp. 954-960, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
tensor contraction, 3D object fitting, rotation-invariant, 3D object recognition, Implicit polynomials |
11 | Masakatsu Ohta |
Non-negative Matrix Factorization for Inferring Implicit Preference of Potential Customer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010, pp. 522-528, 2010, IEEE Computer Society, 978-0-7695-4108-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
implicit preference, mere exposure effect, adaptive gain control, sparseness, Non-negative Matrix Factorization, scale-invariant feature transform |
11 | Antti Siirtola |
Cut-Offs with Network Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010, pp. 105-114, 2010, IEEE Computer Society, 978-0-7695-4066-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
parameterised verification, cut-off, formal verification, refinement, process algebra, induction, network invariant |
11 | Waldemar Villamayor-Venialbo, Horacio Andrés Legal-Ayala, Edson J. R. Justino, Jacques Facon |
Partial Matching Using Set Exclusion Criteria: Applied to Livestock Brand Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: SIBGRAPI 2010, Proceedings of the 23rd SIBGRAPI Conference on Graphics, Patterns and Images, Gramado, Brazil, August 30 2010-September 3, 2010, pp. 178-185, 2010, IEEE Computer Society, 978-1-4244-8420-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
set exclusion criteria, exclusion measure function, livestock brands, handwritten symbols, pattern recognition, image retrieval, partial matching, invariant features |
11 | Raúl A. Santelices, Mary Jean Harrold |
Exploiting program dependencies for scalable multiple-path symbolic execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010, pp. 195-206, 2010, ACM, 978-1-60558-823-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
invariant detection, modular analysis, path family, test suite augmentation, verification, program analysis, test generation, data dependence, symbolic execution, control dependence, change analysis, path sensitive analysis, path condition |
11 | Hsiang-Chuan Liu |
Type 2 Generalized Intuitionistic Fuzzy Choquet Integral Operator for Multi-criteria Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2010, Taipei, Taiwan, 6-9 September 2010, pp. 605-611, 2010, IEEE Computer Society, 978-1-4244-8095-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Intuitionistic fuzzy numbers, generalized intuitionistic fuzzy numbers, linear aggregation operator, operation-invariant, partial order |
11 | Yuan-Kai Wang, Ching-Tang Fan |
Moving Object Detection for Night Surveillance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIH-MSP ![In: Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2010), Darmstadt, Germany, 15-17 October, 2010, Proceedings, pp. 236-239, 2010, IEEE Computer Society, 978-1-4244-8378-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
night surveillance, background subtraction, visual surveillance, illumination-invariant, illumination compensation |
11 | Huawei Tian, Yao Zhao 0001, Rongrong Ni, Jeng-Shyang Pan 0001 |
Spread Spectrum-Based Image Watermarking Resistant to Rotation and Scaling Using Radon Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIH-MSP ![In: Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2010), Darmstadt, Germany, 15-17 October, 2010, Proceedings, pp. 442-445, 2010, IEEE Computer Society, 978-1-4244-8378-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
robust waterarking, rotation and scale invariant, code division multiple access, Radon transform, spread spectrum, geometric attacks |
11 | Kenji Ohmori, Tosiyasu L. Kunii |
A Formal Methodology for Developing Enterprise Systems Procedurally: Homotopy, Pi-Calculus and Event-Driven Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 2010 International Conference on CyberWorlds, Singapore, October 20-22, 2010, pp. 223-230, 2010, IEEE Computer Society, 978-0-7695-4215-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Invariant Preserving, Multi Threads, Event Driven, Homotopy, Pi-calculus, Abstraction Hierarchy |
11 | Alexander Miller, Victor Reiner |
Differential Posets and Smith Normal Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 26(3), pp. 197-228, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Invariant factors, Differential poset, Dual graded graphs, Smith normal form |
11 | M'hammed El Kahoui, Adamou Otto |
Stability of Disease Free Equilibria in Epidemiological Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 2(3), pp. 517-533, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
stability of equilibria, invariant set, basic reproduction number, Gröbner basis, Routh-Hurwitz criterion, M-matrices, Epidemiological models |
11 | Richard Ehrenborg, Margaret A. Readdy, Michael Slone |
Affine and Toric Hyperplane Arrangements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 41(4), pp. 481-512, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
The cd-index, The complex of unbounded regions, Flag enumeration, The toric Zaslavsky invariant, The n-dimensional torus, Manifolds |
11 | Alexander M. Bronstein, Michael M. Bronstein, Alfred M. Bruckstein, Ron Kimmel |
Partial Similarity of Objects, or How to Compare a Centaur to a Horse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 84(2), pp. 163-183, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Partial similarity, Non-rigid shapes, Gromov-Hausdorff distance, Metric geometry, Deformation-invariant similarity, Multicriterion optimization, Edit distance, Pareto optimality, Correspondence, Shape similarity, Levenshtein distance |
11 | Jing Liu 0007, Gang Liu 0006, Jiulong Zhang |
Robust Image Watermarking Based on SIFT Feature and Optimal Triangulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFITA (3) ![In: International Forum on Information Technology and Applications, IFITA 2009, Chengdu, China, 15-17 May 2009, pp. 337-340, 2009, IEEE Computer Society, 978-0-7695-3600-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
optimal triangulation, dynamic programming, convex hull, scale invariant feature transform |
11 | Sam S. Tsai, David M. Chen, Gabriel Takacs, Vijay Chandrasekhar 0001, Jatinder Pal Singh, Bernd Girod |
Location coding for mobile image retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiMedia ![In: Proceedings of the 5th International Conference on Mobile Multimedia Communications, MobiMedia 2009, London, UK, September 7-9, 2009, 2009, ICST, 978-963-9799-62-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
scalable vocabulary tree, scale-invariant feature, content-based image retrieval, mobile augmented reality |
11 | Guofei Jiang, Haifeng Chen, Kenji Yoshihira, Akhilesh Saxena |
Ranking the importance of alerts for problem determination in large computer systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAC ![In: Proceedings of the 6th International Conference on Autonomic Computing, ICAC 2009, June 15-19, 2009, Barcelona, Spain, pp. 3-12, 2009, ACM, 978-1-60558-564-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
alert ranking, invariant network, fault model, peer review, fault management, rule management |
11 | Tong-jun He, Zhengping Shi |
A Stochastic Complex Dynamical Network and Its Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part I, pp. 164-174, 2009, Springer, 978-3-642-01506-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Stochastic dynamical network, Time invariant, Synchronization, Time varying |
11 | Ji-Wei Wen, Fei Liu 0001 |
Robust Model Predictive Control for Fuzzy Systems Subject to Actuator Saturation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (6) ![In: Sixth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2009, Tianjin, China, 14-16 August 2009, 6 Volumes, pp. 400-404, 2009, IEEE Computer Society, 978-0-7695-3735-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
actuator saturation, invariant ellipsoid, domain of attraction, model predictive control, T-S fuzzy model, semi-definite programming |
11 | Xu Liu 0003, David S. Doermann |
Mobile Retriever: access to digital documents from their physical source. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Document Anal. Recognit. ![In: Int. J. Document Anal. Recognit. 11(1), pp. 19-27, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
View point invariant features, Document retrieval, Camera phone |
11 | Volker Sorge, Andreas Meier 0002, Roy L. McCasland, Simon Colton |
Automatic Construction and Verification of Isotopy Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 40(2-3), pp. 221-243, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Automated mathematics, Classification theorems, Computer algebra, Automated theorem proving, Model generation, SAT solving, Invariant generation, Isotopy |
11 | Peter Carbonetto, Gyuri Dorkó, Cordelia Schmid, Hendrik Kück, Nando de Freitas |
Learning to Recognize Objects with Little Supervision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 77(1-3), pp. 219-237, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Scale-invariant keypoints, Object recognition, Markov Chain Monte Carlo, Bayesian analysis, Data association, Weakly supervised learning |
11 | Yihong Wu 0002, Youfu Li, Zhanyi Hu |
Detecting and Handling Unreliable Points for Camera Parameter Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 79(2), pp. 209-223, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Bracket algebra, Invariant, Camera calibration |
11 | Dror Aiger, Niloy J. Mitra, Daniel Cohen-Or |
4-points congruent sets for robust pairwise surface registration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 27(3), pp. 85, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
affine invariant ratio, largest common pointset (LCP) measure, pairwise surface registration, partial shape matching, scan alignment, computational geometry |
11 | Basil Becker, Holger Giese |
On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 203-210, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
real-time coordination, verification, invariant, graph transformations, service-oriented, autonomous vehicles, structural adaptation |
11 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 187-206, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
observational transition system (OTS), verification, mutual exclusion, invariant property, CafeOBJ |
11 | Sam S. Tsai, David M. Chen, Jatinder Pal Singh, Bernd Girod |
Rate-efficient, real-time cd cover recognition on a camera-phone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 16th International Conference on Multimedia 2008, Vancouver, British Columbia, Canada, October 26-31, 2008, pp. 1023-1024, 2008, ACM, 978-1-60558-303-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
scalable vocabulary tree, scale-invariant feature, content-based image retrieval, mobile augmented reality |
11 | Nicolas Halbwachs, Mathias Péron |
Discovering properties about arrays in simple programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 339-348, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
sentinel, invariant synthesis, abstract interpretation, program verification, arrays, sorting algorithms |
11 | Lina Nemuraite, Lina Ceponiene, Gediminas Vedrickas |
Representation of Business Rules in UML&OCL Models for Developing Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PoEM ![In: The Practice of Enterprise Modeling, First IFIP WG 8.1 Working Conference, PoEM 2008, Stockholm, Sweden, November 12-13, 2008. Proceedings, pp. 182-196, 2008, Springer, 978-3-540-89217-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML, constraint, invariant, event, OCL, Business rule, action, stereotype, condition |
11 | Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid |
Deryaft: a tool for generating representation invariants of structurally complex data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 859-862, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
invariant detection, representation invariants |
11 | Basil Becker, Holger Giese |
Modeling of correct self-adaptive systems: a graph transformation system based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSTST ![In: CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, Cergy-Pontoise, France, October 28-31, 2008, pp. 508-516, 2008, ACM, 978-1-60558-046-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
invariant checking, modeling, correctness, graph transformations, self-adaptive systems |
11 | Ion Necoara, Bart De Schutter, Ton J. J. van den Boom, Hans Hellendoorn |
Stable Model Predictive Control for Constrained Max-Plus-Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 17(3), pp. 329-354, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Max-plus-linear systems, Input-state constraints, Positively invariant sets, Stability, Discrete-event systems, Model predictive control |
11 | Min Deng, Tao Cheng 0004, Xiaoyong Chen, Zhilin Li 0001 |
Multi-level Topological Relations Between Spatial Regions Based Upon Topological Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GeoInformatica ![In: GeoInformatica 11(2), pp. 239-267, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
spatial set, neighborhood, topological relations, topological invariant |
11 | Emmanuel Briand |
Equations, inequations and inequalities characterizing the configurations of two real projective conics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 18(1-2), pp. 21-52, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Arrangements of conics, Rigid isotopy, Relative position of two conics, Classical invariant theory |
11 | Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit |
Global Constraint Catalogue: Past, Present and Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 12(1), pp. 21-62, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Graph invariant, Graph, Meta-data, Bound, Global constraint, Catalogue |
11 | Jianguo Zhang 0001, Marcin Marszalek, Svetlana Lazebnik, Cordelia Schmid |
Local Features and Kernels for Classification of Texture and Object Categories: A Comprehensive Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 73(2), pp. 213-238, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
scale- and affine-invariant keypoints, support vector machines, object recognition, image classification, kernel methods, texture recognition |
11 | Minakshi Banerjee, Malay K. Kundu |
Image Retrieval Using Fuzzy Relevance Feedback and Validation with MPEG-7 Content Descriptors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PReMI ![In: Pattern Recognition and Machine Intelligence, Second International Conference, PReMI 2007, Kolkata, India, December 18-22, 2007, Proceedings, pp. 144-152, 2007, Springer, 978-3-540-77045-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fuzzy feature evaluation index, MPEG-7 feature descriptors, Content-Based image retrieval, invariant moments |
11 | Bozhan Zhechev |
Null spaces and Haar transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 2007 International Conference on Computer Systems and Technologies, CompSysTech 2007, Rousse, Bulgaria, June 14-15, 2007, pp. 65, 2007, ACM, 978-954-9641-50-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
cyclic endomorphisms and orthogonal bases, haar transform, linear time invariant systems, wavelets, compression, signal processing, filter banks, projectors, null spaces, dihedral group |
11 | Bolei Guo, Neil Vachharajani, David I. August |
Shape analysis with inductive recursion synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 256-265, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
inductive recursion synthesis, loop invariant inference, artificial intelligence, shape analysis, separation logic |
11 | Hassen Saïdi |
Guarded models for intrusion detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, PLAS 2007, San Diego, California, USA, June 14, 2007, pp. 85-94, 2007, ACM, 978-1-59593-711-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
intrusion detection, static analysis, dynamic analysis, invariant generation |
11 | Beiji Zou, Yi Yao, Ling Zhang |
A New Algorithm for Trademark Image Retrieval Based on Sub-block of Polar Coordinates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Entertainment Computing - ICEC 2007, 6th International Conference, Shanghai, China, September 15-17, 2007, Proceedings, pp. 91-97, 2007, Springer, 978-3-540-74872-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
trademark retrieval, sub-block image, mirror invariant performance |
11 | Gary T. Leavens |
Tutorial on JML, the java modeling language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 573, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
java modeling language (JML), model field, specification inheritance, verification, specification, tool, invariant, information hiding, assertion, design by contract, extended static checking, behavioral subtype, runtime assertion checking |
11 | Ulrich Steinhoff, Dusan Omercevic, Roland Perko, Bernt Schiele, Ales Leonardis |
How Computer Vision Can Help in Outdoor Positioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AmI ![In: Ambient Intelligence, European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007, Proceedings, pp. 124-141, 2007, Springer, 978-3-540-76651-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
computer vision based positioning, local invariant features, sensor fusion for outdoor localization |
11 | Dong-Woei Lin, Shih-Hsuan Yang |
Wavelet-Based Salient Region Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCM ![In: Advances in Multimedia Information Processing - PCM 2007, 8th Pacific Rim Conference on Multimedia, Hong Kong, China, December 11-14, 2007, Proceedings, pp. 389-392, 2007, Springer, 978-3-540-77254-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Invariant image features, salient region extraction, wavelet transform, image understanding |
11 | Chandan Kumar Behera, Pawan Kumar |
An improved algorithm for loop dead optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 41(5), pp. 11-20, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
loop invariant computations, loop optimization, compiler design |
11 | Daniel Kressner |
Block algorithms for reordering standard and generalized schur forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 32(4), pp. 521-532, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Schur form, deflating subspace, invariant subspace, reordering |
11 | Michail Vlachos, Philip S. Yu, Vittorio Castelli, Christopher Meek |
Structural Periodic Measures for Time-Series Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 12(1), pp. 1-28, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
periodicity estimation, periodogram, phase-invariant matching, metric index, autocorrelation |
11 | Viktor Kuncak, Patrick Lam 0001, Karen Zee, Martin C. Rinard |
Modular Pluggable Analyses for Data Structure Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(12), pp. 988-1005, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
formal methods, data structure, program analysis, program verification, invariant, shape analysis, Typestate, programming language design |
11 | Michael E. Caspersen, Michael Kölling |
A novice's process of object-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 892-900, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
programming process, representation invariant, UML, testing, pedagogy, refactoring, CS1, design by contract, objects-first, incremental development, programming education, stepwise refinement, top-down design, systematic programming |
11 | Isabelle Dony, Baudouin Le Charlier |
A tool for helping teach a programming method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy, June 26-28, 2006, pp. 212-216, 2006, ACM, 1-59593-055-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
formal specification, program verification, invariant, program construction, programming course, programming errors |
11 | Atul Singh, Petros Maniatis, Timothy Roscoe, Peter Druschel |
Using queries for distributed monitoring and forensics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, pp. 389-402, 2006, ACM, 1-59593-322-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
declarative overlays, invariant checking, distributed debugging, distributed monitoring |
11 | Chandan Kumar Behera, Pawan Kumar |
An improved algorithm for loop dead optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 40(11), pp. 18-28, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
loop invariant computations, loop optimization, compiler design |
11 | Wim H. Hesselink |
Eternity variables to prove simulation of specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(1), pp. 175-201, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
History variables, preservation of quiescence, prophecy variables, simulation, implementation, invariant, refinement mapping |
11 | Martin Gogolla, Jörn Bohling, Mark Richters |
Validating UML and OCL models in USE by automatic snapshot generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 4(4), pp. 386-398, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
models, UML, Invariant, Reasoning, OCL, Test case, Class diagram, Model validation, Snapshot, Pre- and postcondition, Model testing |
11 | Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde |
Generating Annotated Behavior Models from End-User Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(12), pp. 1056-1073, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Scenario-based elicitation, synthesis of behavior models, incremental learning, labeled transition systems, model validation, message sequence charts, analysis tools, scenario generation, invariant generation |
11 | Krystian Mikolajczyk, Tinne Tuytelaars, Cordelia Schmid, Andrew Zisserman, Jiri Matas, Frederik Schaffalitzky, Timor Kadir, Luc Van Gool |
A Comparison of Affine Region Detectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 65(1-2), pp. 43-72, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
affine region detectors, invariant image description, performance evaluation, local features |
11 | Zong Min Wu, Jian Ping Liu |
Generalized Strang-Fix condition for scattered data quasi-interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 23(1-2), pp. 201-214, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
quasi-interpolation, Strang-Fix condition, radial basis interpolation, scattered data approximation, shift-invariant space |
11 | Dierk Johannes, Raimund Seidel, Reinhard Wilhelm |
Algorithm animation using shape analysis: visualising abstract executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTVIS ![In: Proceedings of the ACM 2005 Symposium on Software Visualization, St. Louis, Missouri, USA, May 14-15, 2005, pp. 17-26, 2005, ACM, 1-59593-073-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
abstract execution, tree, invariant, visualisation, shape analysis, algorithm animation |
11 | Jun Sun 0002, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam |
HAIL: a language for easy and correct device access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 1-9, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
invariant specification and verification, register access, embedded systems, system-on-chip, software reuse, domain-specific languages, automatic code generation, device drivers |
11 | Lu Yang, Zhenbing Zeng |
An open problem on metric invariants of tetrahedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings, pp. 362-364, 2005, ACM, 1-59593-095-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
manifold solution, metric invariant, tetrahedron, distance geometry |
11 | Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch |
Using simulated execution in verifying distributed algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 6(1), pp. 67-76, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Invariant detection, Static analysis, Theorem proving, Dynamic analysis |
11 | Xianghua Ying, Zhanyi Hu |
Catadioptric Camera Calibration Using Geometric Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 26(10), pp. 1260-1271, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Camera calibration, omnidirectional vision, geometric invariant, catadioptric camera, panoramic vision |
11 | Wim H. Hesselink |
An assertional proof for a construction of an atomic variable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(4), pp. 387-393, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Invariant, Atomicity, Wait-free, Safeness |
11 | Shai Dekel, Dany Leviatan |
On Measuring the Efficiency of Kernel Operators in Lp(Rd). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 20(1-3), pp. 53-65, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
quasi-interpolation, kernel operators, approximation order, shift-invariant spaces |
11 | Hari Rangarajan, J. J. Garcia-Luna-Aceves |
Using labeled paths for loop-free on-demand routing in ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiHoc ![In: Proceedings of the 5th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2004, Roppongi Hills, Tokyo, Japan, May 24-26, 2004, pp. 43-54, 2004, ACM, 1-58113-849-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
path information, routing invariant, routing, ad hoc network, loop-free |
11 | Hong Oh Kim, Rae Young Kim, Jae Kun Lim |
Quasi-Biorthogonal Frame Multiresolution Analyses and Wavelets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 18(2-4), pp. 269-296, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
wavelets, frames, multiresolution analysis, shift-invariant spaces |
11 | J. J. Garcia-Luna-Aceves, Marc Mosko, Charles E. Perkins |
A new approach to on-demand loop-free routing in ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, PODC 2003, Boston, Massachusetts, USA, July 13-16, 2003, pp. 53-62, 2003, ACM, 1-58113-708-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
distance invariant, routing, ad hoc network, loop-free |
11 | Boris A. Romov |
Partial Hyperclones on a Finite Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 32nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2002), May 15-18, 2002, Boston, Massachusetts, USA, pp. 17-22, 2002, IEEE Computer Society, 0-7695-1462-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
partial hyperoperation, partial hyperclone, restriction of hyperoperation, invariant relation |
11 | Victor Y. Pan, Xinmao Wang |
Acceleration of Euclidean algorithm and extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings, pp. 207-213, 2002, ACM, 1-58113-484-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
p-adic lifting, Smith invariant factors, Toeplitz and Hankel matrices, bit operation complexity, rational number reconstruction, randomized algorithms, linear system of equations, extended euclidean algorithm |
11 | Irina A. Kogan, Marc Moreno Maza |
Computation of canonical forms for ternary cubics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings, pp. 151-160, 2002, ACM, 1-58113-484-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
classical invariant theory, method of moving frames, systems of algebraic equations, ternary cubics, elliptic curves, triangular decompositions |
11 | Kenneth P. Bogart, Joshua D. Laison, Garth Isaak, Ann N. Trenk |
Comparability Invariance Results for Tolerance Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 18(3), pp. 281-294, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
comparability invariant, tolerance order, interval orders, ordered sets |
11 | Manfred Göbel |
Visualizing Properties of Comprehensive SAGBI Bases - Two Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 12(5), pp. 429-435, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Algorithmic invariant theory, Comprehensive SAGBI bases, Alternating and symmetric groups, Conjugation |
11 | Graham E. Deacon |
An Attempt to Raise the Level of Software Abstraction in Assembly Robotics through an Apposite Choice of Underlying Mechatronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 28(4), pp. 343-399, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
accommodating control, contact configurations, object sliding, task-invariant assembly strategies, programming abstraction, direct-drive robot |
11 | Lynne Baur |
Cardinal Functions on Initial Chain Algebras on Pseudotrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 17(1), pp. 1-21, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
cardinal function, cardinal invariant, initial chain algebra, interval algebra |
11 | Peter Benner, Maribel Castillo, Enrique S. Quintana-Ortí, Vicente Hernández |
Parallel Partial Stabilizing Algorithms for Large Linear Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 15(2), pp. 193-206, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Linear control systems, stabilizing algorithms, Lyapunov matrix equations, invariant subspaces, mathematical software, Newton iteration, matrix sign function |
11 | Meera Sitharam, Timothy Straney |
Sampling Boolean Functions over Abelian Groups and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 11(2), pp. 89-109, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Invariant factor decomposition, Data compression, Boolean functions, Pseudorandom generators, VC-dimension, Computational learning theory, Diophantine equations, Linearity testing, Abelian groups |
11 | Yonit Kesten, Amir Pnueli |
Control and Data Abstraction: The Cornerstones of Practical Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(4), pp. 328-342, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Control abstraction, Safety and liveness property, Weak and strong fairness, Model checking, Formal verification, Data abstraction, Linear temporal logic, Network invariant |
11 | Pei-hsiu Suen, Glenn Healey |
The Analysis and Recognition of Real-World Textures in Three Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 22(5), pp. 491-503, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
bidirectional reflectance distribution function (BRDF), bidirectional texture function (BTF), classification, computer vision, texture, recognition, color, invariant, 3D texture |
11 | Sébastien Adam, Jean-Marc Ogier, Claude Cariou, Rémy Mullot, Jacques Labiche, Joël Gardes |
Symbol and character recognition: application to engineering drawings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Document Anal. Recognit. ![In: Int. J. Document Anal. Recognit. 3(2), pp. 89-101, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Character and symbol recognition, Feature extraction and classification, Engineering drawing, Invariant moments |
11 | David Ginat |
Colorful examples for elaborating exploration of regularities in high-school CS1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2000, Helsinki, Finland, June 11-13, 2000, pp. 81-84, 2000, ACM, 1-58113-207-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
high-school CS1, problem analysis, regularities, invariant properties |
11 | Nassir Navab, Benedicte Bascle, Michael H. Loser, Bernhard Geiger, Russell H. Taylor |
Visual Servoing for Automatic and Uncalibrated Needle Placement for Percutaneous Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2000 Conference on Computer Vision and Pattern Recognition (CVPR 2000), 13-15 June 2000, Hilton Head, SC, USA, pp. 2327-2334, 2000, IEEE Computer Society, 0-7695-0662-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
perspective invariant, percutaneous procedures, needle placement, projective geometry, visual servoing, cross-ratios |
|
|