Sciweavers

159 search results - page 21 / 32
» roman 2007
Sort
View
DLOG
2007
14 years 11 months ago
Exploiting Conjunctive Queries in Description Logic Programs
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...
Thomas Eiter, Giovambattista Ianni, Thomas Krennwa...
ICFP
2007
ACM
15 years 9 months ago
Stream fusion: from lists to streams to nothing at all
This paper presents an automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion sys...
Duncan Coutts, Roman Leshchinskiy, Don Stewart
FSR
2007
Springer
122views Robotics» more  FSR 2007»
15 years 3 months ago
Roving Faster Farther Cheaper
Current Mars rovers travel a few kilometers per year. Future rovers will need to travel a couple orders of magnitude faster than that in order to move from safe landing zones to a...
Matt Roman, David P. Miller, Zac White
DEXAW
2007
IEEE
91views Database» more  DEXAW 2007»
15 years 3 months ago
Aspects of Broad Folksonomies
Folksonomies, collaboratively created sets of metadata, are becoming more and more important for organising information and knowledge of communites in the Web. While for a single ...
Mathias Lux, Michael Granitzer, Roman Kern
EOR
2007
88views more  EOR 2007»
14 years 9 months ago
Designing man-machine interactions for mobile clinical systems: MET triage support using Palm handhelds
The Mobile Emergency Triage (MET) system is a clinical triage support system that aids physicians in making triage decisions as to whether a child presenting in the Emergency Depa...
Wojtek Michalowski, Marta Kersten, Szymon Wilk, Ro...