Sciweavers

455 search results - page 55 / 91
» Structure Theorems for Systems of Segments
Sort
View
BMVC
2000
13 years 10 months ago
Automatic 3D Modelling of Architecture
This paper describes a system which automatically derives 3D models of architectural scenes from multiple images. This system differs from previous structure from motion algorithm...
Anthony R. Dick, Philip H. S. Torr, Roberto Cipoll...
FM
2003
Springer
146views Formal Methods» more  FM 2003»
14 years 1 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
ICAPR
2005
Springer
14 years 2 months ago
Hierarchical Clustering of Dynamical Systems Based on Eigenvalue Constraints
Abstract. This paper addresses the clustering problem of hidden dynamical systems behind observed multivariate sequences by assuming an interval-based temporal structure in the seq...
Hiroaki Kawashima, Takashi Matsuyama
HICSS
1998
IEEE
176views Biometrics» more  HICSS 1998»
14 years 1 months ago
Intelligent System for Reading Handwriting on Forms
The National Institute of Standards and Technology (NIST) has developed a form-based handprint recognition system for reading information written on forms. This public domain soft...
Michael D. Garris
AOSD
2007
ACM
14 years 22 days ago
C-CLR: a tool for navigating highly configurable system software
In order to accommodate the spectrum of configuration options currently required for competitive system infrastructures, many systems leverage heavy usage of C preprocessor contro...
Nieraj Singh, Celina Gibbs, Yvonne Coady