4693 search results - page 781 / 939 » Verifying Hybrid Systems |
162
click to vote
APIN
1999
15 years 5 months ago
1999
The problem of figure-ground separation is tackled from the perspective of combinatorial optimization. Previous attempts have used deterministic optimization techniques based on re...
185
click to vote
JIIS
2002
15 years 5 months ago
2002
In the traditional setting, text categorization is formulated as a concept learning problem where each instance is a single isolated document. However, this perspective is not appr...
181
click to vote
PRESENCE
2002
15 years 5 months ago
2002
In this paper we describe two explorations in the use of hybrid user interfaces for collaborative geographic data visualization. Our first interface combines three technologies; A...
176
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
—The use of vital signs as a biometric is a potentially viable approach in a variety of application scenarios such as security and personalized health care. In this paper, a nove...
135
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— In this paper, we address the problem of determining the relative position and orientation (pose) of two robots navigating in 2D, based on known egomotion and noisy rob...