43264 search results - page 278 / 8653 » Comparing models of computation |
126
click to vote
MVA
2002
15 years 3 months ago
2002
The next generation of computers might be literally wearable. Our vision of such a wearable computing device is an intelligent assistant, which is always with you and helps you to...
130
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
131
click to vote
ACCV
2010
Springer
14 years 11 months ago
2010
Springer
The ability of recognizing object categories in 3D data is still an underdeveloped topic. This paper investigates on adopting Implicit Shape Models (ISMs) for 3D categorization, th...
144
click to vote
ISQED
2008
IEEE
15 years 10 months ago
2008
IEEE
Large-scale process fluctuations (particularly random device mismatches) at nanoscale technologies bring about highdimensional strongly nonlinear performance variations that canno...
255
click to vote
Publication
A great technical report describing the work of T.F. Cootes and C.J.Taylor in the area of
Active Shape Models and Active Appearance Models.