7167 search results - page 359 / 1434 » A Technique for Invariant Generation |
213
Voted
CEC
2009
IEEE
16 years 2 months ago
2009
IEEE
— Automatically synthesizing behaviors for robots with articulated bodies poses a number of challenges beyond those encountered when generating behaviors for simpler agents. One ...
175
Voted
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
— Network reconstruction, i.e. obtaining network structure from input-output information, is a central theme in systems biology. A variety of approaches aim to obtaining structur...
213
Voted
MEMOCODE
2007
IEEE
16 years 2 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
205
Voted
WACV
2005
IEEE
16 years 1 months ago
2005
IEEE
A method for the simultaneous localization and recognition of dynamic hand gestures is proposed. At the core of this method is a dynamic space-time warping (DSTW) algorithm, that ...
369
click to vote
ICIAR
2009
Springer
16 years 9 days ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...