Sciweavers

488 search results - page 14 / 98
» The descriptive complexity approach to LOGCFL
Sort
View
DLOG
2009
13 years 7 months ago
A Matter of Principles: Towards the Largest DLP Possible
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
Markus Krötzsch, Sebastian Rudolph
CASES
2007
ACM
14 years 1 months ago
Compiler generation from structural architecture descriptions
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
Florian Brandner, Dietmar Ebner, Andreas Krall
ICCV
1995
IEEE
14 years 1 months ago
Segmented Shape Descriptions from 3-View Stereo
Abstract: We address the recovery of segmented, 3-0 descriptions of an object from intensity images. We use three views of an objectfrom slightly different viewpointsas our input. ...
Parag Havaldar, Gérard G. Medioni
ISSS
1999
IEEE
120views Hardware» more  ISSS 1999»
14 years 2 months ago
RTGEN: An Algorithm for Automatic Generation of Reservation Tables from Architectural Descriptions
Abstract--Reservation Tables (RTs) have long been used to detect conflicts between operations that simultaneously access the same architectural resource. Traditionally, these RTs h...
Peter Grun, Ashok Halambi, Nikil D. Dutt, Alexandr...
MHCI
2009
Springer
14 years 4 months ago
Using semantic descriptions for adaptive mobile games UIs
Mobile devices became powerful recently and wireless Internet access is becoming standard. One important class of networked, mobile applications are location based games, making e...
Pascal Bihler, Holger Mügge, Mark Schmatz, Ar...