326 search results - page 14 / 66 » Automatic application specific floating-point unit generatio... |
CVPR
2006
IEEE
15 years 11 months ago
2006
IEEE
A system that could automatically analyze the facial actions in real time have applications in a number of different fields. However, developing such a system is always a challeng...
AIIDE
2008
14 years 12 months ago
2008
Interactive Storytelling techniques are attracting much interest for their potential to develop new game genres but also as another form of procedural content generation, specific...
CONSTRAINTS
2008
14 years 9 months ago
2008
We present a novel approach to automatically reformulating constraints defined as tables of allowed assignments to variables. Constraints of this form are common in a variety of se...
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
– Our recent work on robotic surgical assistant systems has led us to develop a method to generate spatial motion constraints associated with complex 3D geometry for controlling ...
ASE
2005
14 years 9 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...