2940 search results - page 295 / 588 » Relational Parametricity and Control |
182
click to vote
ISER
1989
Springer
15 years 10 months ago
1989
Springer
Many future applications of robotic systems will require manipulators to operate from moving vehicles. Such vehicles will be compliant in comparison to the rigid bases on which mo...
205
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) righ...
177
click to vote
AI50
2006
15 years 10 months ago
2006
"Without embodiment artificial intelligence is nothing." Algorithms in the field of artificial intelligence are mostly tested on a computer instead of testing on a real p...
149
click to vote
MICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
While technology is delivering increasingly sophisticated and powerful chip designs, it is also imposing alarmingly high energy requirements on the chips. One way to address this ...
161
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
Temporal aggregation is a crucial operator in temporal databases and has been studied in various flavors. In instant temporal aggregation (ITA) the aggregate value at time instan...