11808 search results - page 347 / 2362 » Isometries and Computability Structures |
212
click to vote
VMCAI
2012
Springer
14 years 2 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
134
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
In thispapel; the reduction of inherent ambiguities in StructurefromMotion(SW)using inertialdata isaddressed. First, we show that the translation-rotation ambiguity inS'from ...
162
click to vote
GMP
2006
IEEE
16 years 20 days ago
2006
IEEE
Commonly used boundary-based solid and surface modeling methods in traditional computer aided design are not capable of constructing configurations with large numbers of particles ...
180
click to vote
FSTTCS
2005
Springer
16 years 4 days ago
2005
Springer
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
141
click to vote
IPTPS
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we describe an ongoing effort to define common APIs ctured peer-to-peer overlays and the key abstractions that can be built on them. In doing so, we hope to facilit...