Sciweavers

330 search results - page 40 / 66
» Intersection and Union Types
Sort
View
CONTEXT
2005
Springer
14 years 1 months ago
Impact of the signal control strategy on red light running
This article concerns red-light running at intersections and deals with the impact of different types of control strategies. Red running occurrences at red onset are observed throu...
Sophie Midenet
MCU
2007
92views Hardware» more  MCU 2007»
13 years 9 months ago
On the Power of Networks of Evolutionary Processors
We discuss the power of networks of evolutionary processors where only two types of nodes are allowed. We prove that (up to an intersection with a monoid) every recursively enumer...
Jürgen Dassow, Bianca Truthe
IJSM
2006
89views more  IJSM 2006»
13 years 7 months ago
Temporal Coherence in Bounding Volume Hierarchies for Collision Detection
Collision detection is a fundamental problem in computer graphics. In this paper, temporal coherence is studied and an algorithm exploiting it for bounding volume hierarchies, is ...
Oren Tropp, Ayellet Tal, Ilan Shimshoni, David P. ...
JUCS
2008
104views more  JUCS 2008»
13 years 7 months ago
Table-form Extraction with Artefact Removal
: In this paper we present a novel methodology to recognize the layout structure of handwritten filled table-forms. Recognition methodology includes locating line intersections, co...
Luiz Antônio Pereira Neves, João Marq...
AAAI
2007
13 years 10 months ago
DL-Lite in the Light of First-Order Logic
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large a...
Alessandro Artale, Diego Calvanese, Roman Kontchak...