239 search results - page 27 / 48 » Data Abstraction and Constraint Solving for Conformance Test... |
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Vision systems are used more and more in ’personal’ robots interacting with humans, since semantic information about objects and places can be derived from the rich...
TIFS
2008
13 years 8 months ago
2008
Abstract--Distributed detection of information flows is considered in which traffic sensors at different locations of a network observe transmission epochs. The traffic sensors com...
SDM
2010
SIAM
13 years 10 months ago
2010
SIAM
The dimensionality reduction problem has been widely studied in the database literature because of its application for concise data representation in a variety of database applica...
IEEESCC
2005
IEEE
14 years 2 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
SIAMJO
2002
13 years 8 months ago
2002
Abstract. Sequential quadratic programming (SQP) methods have proved highly effective for solving constrained optimization problems with smooth nonlinear functions in the objective...