Sciweavers

1119 search results - page 61 / 224
» On the Invariance of Ant System
Sort
View
PLPV
2010
ACM
15 years 6 months ago
Modular reasoning about invariants over shared state with interposed data members
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
Stephanie Balzer, Thomas R. Gross
66
Voted
JCB
2000
90views more  JCB 2000»
14 years 9 months ago
Geometric Invariant Core for the CL and CH1 Domains of Immunoglobulin Molecules
A previously developed algorithmic method for identifying a geometric invariant of protein structures, termed geometrical core, is extended to the and 1 domains of immunoglobulin ...
Ognyan Stoyanov, Alexander Kister, Israel Gelfand,...
IJRR
2002
218views more  IJRR 2002»
14 years 9 months ago
Mobile Robot Localization and Mapping with Uncertainty using Scale-Invariant Visual Landmarks
A key component of a mobile robot system is the ability to localize itself accurately and, simultaneously, to build a map of the environment. Most of the existing algorithms are b...
Stephen Se, David G. Lowe, James J. Little
CVPR
2009
IEEE
16 years 4 months ago
Locally Time-Invariant models of Human Activities using Trajectories on the Grassmanian
Human activity analysis is an important problem in computer vision with applications in surveillance and summarization and indexing of consumer content. Complex human activities...
Pavan Turaga, Rama Chellappa
FOCS
2009
IEEE
15 years 4 months ago
The Quantum and Classical Complexity of Translationally Invariant Tiling and Hamiltonian Problems
— We study the complexity of a class of problems involving satisfying constraints which remain the same under translations in one or more spatial directions. In this paper, we sh...
Daniel Gottesman, Sandy Irani