6906 search results - page 277 / 1382 » An algorithm for modelling key terms |
209
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
169
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
System identification of plants with binary-valued output observations is of importance in understanding modeling capability and limitations for systems with limited sensor inform...
190
click to vote
BMVC
2010
15 years 4 months ago
2010
Semantic 3D models of buildings encode the geometry as well as the identity of key components of a facility, such as walls, floors, and ceilings. Manually constructing such a mode...
156
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Legged robots offer the potential to navigate highly challenging terrain, and there has recently been much progress in this area. However, a great deal of this recent work has ...
175
click to vote
CIARP
2006
Springer
15 years 8 months ago
2006
Springer
We present a face recognition system able to identify people from a single non-frontal image in an arbitrary pose. The key component of the system is a novel pose correction techni...