4451 search results - page 553 / 891 » Continuous model synthesis |
190
Voted
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
An asynchronous work-stealing implementation of dynamic load balance is implemented using Unified Parallel C (UPC) and evaluated using the Unbalanced Tree Search (UTS) benchmark ...
196
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— A long cherished goal in artificial intelligence has been the ability to endow a robot with the capacity to learn and generalize skills from watching a human teacher. Such an ...
211
click to vote
ADBIS
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. We propose a new approach for enhancing collaborative information retrieval by means of incorporating positional data for a location-aware personalized retrieval process....
156
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— The rapidly increasing complexity of tasks robotic systems are expected to carry out underscores the need for the development of motion planners that can take into account disc...
204
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...