Sciweavers

367 search results - page 16 / 74
» Multi-Core Design Automation Challenges
Sort
View
AGENTS
2000
Springer
13 years 12 months ago
Automated assistants to aid humans in understanding team behaviors
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. Tools that can help humans an...
Taylor Raines, Milind Tambe, Stacy Marsella
FECS
2006
125views Education» more  FECS 2006»
13 years 9 months ago
An Automated Template Based Interactive Multimedia Solution for Handheld Devices in the Educational Field or Other Domains
The recent enormous increase in the availability of mobile devices such as phones, PDAs, webpads, tablet PCs etc. and with it the corresponding demand for interactive multimedia a...
Oszkar Nagy, Allen Long
PVLDB
2010
158views more  PVLDB 2010»
13 years 6 months ago
MEET DB2: Automated Database Migration Evaluation
Commercial databases compete for market share, which is composed of not only net-new sales to those purchasing a database for the first time, but also competitive “win-backs”...
Reynold Xin, Patrick Dantressangle, Sam Lightstone...
AUTOMOTIVEUI
2009
ACM
14 years 8 days ago
Towards an H-Mode for highly automated vehicles: driving with side sticks
The increasing traffic volume confronts the road user with a challenging task. The high number of traffic deaths might not be reducible with passive safety alone. However systems ...
Martin Kienle, Daniel Damböck, Johann Kelsch,...
CADE
2007
Springer
14 years 8 months ago
MaLARea: a Metasystem for Automated Reasoning in Large Theories
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...
Josef Urban