595 search results - page 54 / 119 » Predictive State Representations with State Space Partitioni... |
CVPR
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents a method for recognizing scene categories based on approximate global geometric correspondence. This technique works by partitioning the image into increasingl...
FPL
1999
Springer
15 years 3 months ago
1999
Springer
This paper details the development, implementation, and results of Synthia, a system for the synthesis of Finite State Machines (FSMs) to field-programmable logic. Our approach us...
ICPPW
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
AUTOMATICA
2005
14 years 10 months ago
2005
New algorithms for identification of a balanced state space representation are proposed. They are based on a procedure for the estimation of impulse response and sequential zero i...
SPIN
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...