514 search results - page 54 / 103 » On the Structure of Valiant's Complexity Classes |
ICMCS
2009
IEEE
13 years 6 months ago
2009
IEEE
We consider the problem of classification of multiple observations of the same object, possibly under different transformations. We view this problem as a special case of semi-sup...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— Standard methods to model multibody systems are aimed at systems with configuration spaces isomorphic to Rn . This limitation leads to singularities and other artifacts in cas...
SIGADA
2004
Springer
14 years 2 months ago
2004
Springer
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— A broad class of problems in circuits, electromagnetics, and optics can be expressed as finding some parameters of a linear system with a specific type. This paper is...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
We give a new decision procedure for the guarded fragment with equality. The procedure is based on resolution with superposition. We argue that this method will be more useful in ...