5144 search results - page 856 / 1029 » Enhancing Search with Structure |
200
click to vote
LICS
2007
IEEE
16 years 22 days ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
159
click to vote
ROMAN
2007
IEEE
16 years 22 days ago
2007
IEEE
— For controlling robots in an urban search and rescue (USAR) application, we present a wearable joystick with improved sensing capability as well as Giant MagnetoResistance(GMR)...
144
click to vote
AE
2007
Springer
16 years 20 days ago
2007
Springer
We propose using the so called Royal Road functions as test functions for cooperative co-evolutionary algorithms (CCEAs). The Royal Road functions were created in the early 90’s ...
144
click to vote
AIIA
2007
Springer
16 years 20 days ago
2007
Springer
Due to the fast growing of the information available on the Web, the retrieval of relevant content is increasingly hard. The complexity of the task is concerned both with the seman...
150
click to vote
ATVA
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...