11716 search results - page 114 / 2344 » Computable symbolic dynamics |
151
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Numerous approaches have been proposed for path planning in dynamic current fields, for a fixed departure time. However, in many applications, the departure time is not necessarily...
161
click to vote
CAV
2007
Springer
16 years 17 days ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
148
click to vote
IESS
2007
Springer
16 years 16 days ago
2007
Springer
Changing demands, software evolution, and bug fixes require the possibility to update applications as well as system software of embedded devices. Systems that perform updates of ...
181
click to vote
TACAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
193
click to vote
EMNLP
2010
15 years 4 months ago
2010
This paper focuses on the task of inserting punctuation symbols into transcribed conversational speech texts, without relying on prosodic cues. We investigate limitations associat...