2125 search results - page 119 / 425 » Points with Type-2 Operations |
134
click to vote
WORDS
2003
IEEE
15 years 8 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...
117
click to vote
HYBRID
2003
Springer
15 years 8 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...
123
click to vote
INAP
2001
Springer
15 years 7 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...
120
Voted
ICRA
2000
IEEE
15 years 7 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...
135
click to vote
ICALP
1992
Springer
15 years 7 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...