3321 search results - page 302 / 665 » The Future of Knowledge Representation |
143
click to vote
ACSD
2005
IEEE
16 years 10 days ago
2005
IEEE
We describe a toolbox for the analysis of Systems-on-achip described in SystemC at the transactional level. The tools are able to extract information from SystemC code, and to bui...
172
click to vote
DAGM
2005
Springer
16 years 7 days ago
2005
Springer
Obstacle avoidance is one of the most important challenges for mobile robots as well as future vision based driver assistance systems. This task requires a precise extraction of de...
138
click to vote
ROBOCUP
2005
Springer
16 years 5 days ago
2005
Springer
The use of planning assistant agents is an appropriate option to provide support for members of a coalition. Planning agents can extend the human abilities and be customised to att...
156
click to vote
FATES
2004
Springer
16 years 2 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
171
click to vote
GRID
2004
Springer
16 years 2 days ago
2004
Springer
Locating resources of interest in a large resourceintensive environment is a challenging problem. In this paper we present research on addressing this problem through the developm...