6530 search results - page 260 / 1306 » Application Integration |
158
click to vote
LOGCOM
2010
15 years 5 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
226
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
— This paper deals with the state estimation of nonlinear systems. The systems under study are characterized by two-time scale models. The state estimation is performed by design...
177
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
We present an approach to real-time person tracking in crowded and/or unknown environments using multi-modal integration. We combine stereo, color, and face detection modules into...
167
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Target-based positioning and 3-D target reconstruction are critical capabilities in deploying submersible platforms for a range of underwater applications, e.g., search and inspec...
176
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
Integrating information in multiple natural languages is a challenging task that often requires manually created linguistic resources such as a bilingual dictionary or examples of...