334 search results - page 54 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
145
click to vote
AWIC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Negotiation plays a fundamental role in systems composed of multiple autonomous agents. Some negotiations may require a more elaborated dialogue where agents would explai...
113
Voted
ER
2007
Springer
15 years 10 months ago
2007
Springer
The longstanding problem of automatic table interpretation still illudes us. Its solution would not only be an aid to table processing applications such as large volume table conve...
132
click to vote
MICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...
126
click to vote
JIRS
2010
15 years 2 months ago
2010
Civilian applications for UAVs will bring these vehicles into low flying areas cluttered with obstacles such as building, trees, power lines, and more importantly civilians. The h...
131
click to vote
ACL
1998
15 years 5 months ago
1998
In this paper, we present a chunk based partial parsing system for spontaneous, conversational speech in unrestricted domains. We show that the chunk parses produced by this parsi...