10802 search results - page 394 / 2161 » Generative and developmental systems |
152
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
We consider two-player turn-based games with zero-reachability and zero-safety objectives generated by extended vector addition systems with states. Although the problem of decidin...
131
click to vote
DAC
1998
ACM
15 years 10 months ago
1998
ACM
We describe a new constructive multilevel logic synthesis system that integrates the traditionally separate technology-independent and technology-dependent stages of modern synthe...
139
Voted
FOSSACS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We answer an open question related to bisimilarity checking on labelled transition systems generated by prefix rewrite rules on words. Stirling (1996, 1998) proved the de...
164
Voted
MVA
1992
15 years 7 months ago
1992
An increasing number of comfortable publishing systems nowadays leads to documents containing more than just textual information. Graphics and images are combined with text and of...
166
click to vote
TITS
2002
15 years 5 months ago
2002
This paper proposes a novel concept of intelligent navigator that can give the driver timely advice on safe and efficient driving. From both the current traffic condition obtained ...