7890 search results - page 1578 / 1578 » The MathSAT 3 System |
FMICS
2009
Springer
14 years 4 days ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
SMA
2009
ACM
14 years 2 days ago
2009
ACM
We present the “Dynamic Packing Grid” (DPG) data structure along with details of our implementation and performance results, for maintaining and manipulating flexible molecul...
GI
2005
Springer
13 years 11 months ago
2005
Springer
Abstract: In der Lehre zum Thema Wissensbasierte Robotik verwenden wir seit Kurzem den Robotersimulator USARSIM, der weltweit im Kontext der RoboCup Rescue Real Robot Liga eingeset...
GI
2004
Springer
13 years 11 months ago
2004
Springer
: Mobile Informationssysteme k¨onnen erheblich von Ontologien profitieren, indem zuvor zusammenhanglose Fakten f¨ur den Anwender in Beziehung gebracht werden. In dieser Arbeit u...
BTW
2003
Springer
13 years 10 months ago
2003
Springer
: Dieser Beitrag untersucht die Frage, wie XML-Dokumente, die in Datenbanksystemen abgespeichert sind, effektiv und effizient innerhalb dieser Systeme verändert werden können. Zu...