7167 search results - page 102 / 1434 » A Technique for Invariant Generation |
182
click to vote
ICML
1999
IEEE
16 years 7 months ago
1999
IEEE
ing from Robot Sensor Data using Hidden Markov Models Laura Firoiu, Paul Cohen Computer Science Department, LGRC University of Massachusetts at Amherst, Box 34610 Amherst, MA 01003...
153
click to vote
3DIM
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a novel technique for calibrating a zooming camera based on the invariance properties of the Normalized Image of the Absolute Conic (NIAC). First, we show that the came...
148
click to vote
SSDBM
2002
IEEE
15 years 11 months ago
2002
IEEE
We investigate the problem of searching similar multiattribute time sequences. Such sequences arise naturally in a number of medical, financial, video, weather forecast, and stoc...
141
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We extend techniques for a reachability-based ion to continuous systems under shared control, that is, systems which have both inputs controlled by the automation and inputs co...
199
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...