Sciweavers

784 search results - page 88 / 157
» Relaxing the Value Restriction
Sort
View
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
14 years 3 months ago
Design and implementation of a rendering algorithm in a SIMD reconfigurable architecture (MorphoSys)
In this paper we analyze a 3D image rendering algorithm and the different mapping schemes to implement it in a SIMD reconfigurable architecture. 3D image render is highly computat...
Javier Davila, Alfonso de Torres, Jose Manuel Sanc...
IBPRIA
2005
Springer
14 years 2 months ago
Multi-resolution Image Analysis for Vehicle Detection
Computer Vision can provide a great deal of assistance to Intelligent Vehicles. In this paper an Advanced Driver Assistance Systems for Vehicle Detection is presented. A geometric ...
Cristina Hilario, Juan Manuel Collado, Jose M. Arm...
VSTTE
2005
Springer
14 years 2 months ago
Reasoning about Object Structures Using Ownership
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
Peter Müller
WEBDB
2005
Springer
132views Database» more  WEBDB 2005»
14 years 2 months ago
On the role of composition in XQuery
Nonrecursive XQuery is known to be hard for nondeterministic exponential time. Thus it is commonly believed that any algorithm for evaluating XQuery has to require exponential amo...
Christoph Koch
ECAI
2004
Springer
14 years 2 months ago
Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution
In description logics, concrete domains are used to model concrete properties such as weight, name, or age, having concrete values such as integers or strings, with built-in predic...
Ullrich Hustadt, Boris Motik, Ulrike Sattler