10038 search results - page 1772 / 2008 » Model Checking for Managers |
139
click to vote
ICPADS
2007
IEEE
15 years 11 months ago
2007
IEEE
- Due to the increasing complexity of scientific models, large-scale simulation tools often require a critical amount of computational power to produce results in a reasonable amou...
142
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— Portable, modular and extensible software allows robotics researchers to pool their resources by sharing algorithms, thus advancing research in the field of robotics at a fast...
163
click to vote
IJCNN
2007
IEEE
15 years 11 months ago
2007
IEEE
— In this paper we provide experimental results and extensions to our previous theoretical findings concerning the combination of forecasts that have been diversified by three ...
142
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
166
click to vote
ROMAN
2007
IEEE
15 years 11 months ago
2007
IEEE
— For a robot to understand a scene, we have to infer and extract meaningful information from vision sensor data. Since scene understanding consists in recognizing several visual...