3218 search results - page 204 / 644 » Timed Extensions for SDL |
166
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Vision-based place recognition is a desirable feature for an autonomous mobile system. In order to work in realistic scenarios, visual recognition algorithms should be ...
162
click to vote
TIME
2007
IEEE
15 years 11 months ago
2007
IEEE
It is known that for temporal languages, such as firstorder LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal des...
141
click to vote
COCOON
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We consider finding maximin strategies and equilibria of explicitly given extensive form games with imperfect information but with no moves of chance. We show that a max...
153
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...
124
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we present an extension to existing approaches that capture and exploit timing-correlation between tasks for scheduling analysis in distributed systems. Previous ap...