2125 search results - page 119 / 425 » Points with Type-2 Operations |
182
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
The emergence of applications operating independently of direct human control is inevitable. Research on high-level models for this class of applications— e.g. on autonomous age...
163
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
161
click to vote
INAP
2001
Springer
15 years 11 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
159
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper addresses the following inspection problem: given a known workspace and a robot with vision capabilities compute a short path path for the robot such that each point on...
183
click to vote
ICALP
1992
Springer
15 years 10 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...