Sciweavers

12438 search results - page 30 / 2488
» The Magic of a Number System
Sort
View
SEMWEB
2009
Springer
14 years 2 months ago
Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes
RDF Schema (RDFS) as a lightweight ontology language is gaining popularity and, consequently, tools for scalable RDFS inference and querying are needed. SPARQL has become recently ...
Giovambattista Ianni, Thomas Krennwallner, Alessan...
ISMAR
2007
IEEE
14 years 2 months ago
Interactive Focus and Context Visualization for Augmented Reality
In this article we present interactive Focus and Context (F+C) visualizations for Augmented Reality (AR) applications. We demonstrate how F+C visualizations are used to affect the...
Denis Kalkofen, Erick Méndez, Dieter Schmal...
PPSN
2004
Springer
14 years 1 months ago
Recognizing Speed Limit Sign Numbers by Evolvable Hardware
An automatic traffic sign detection system would be important in a driver assistance system. In this paper, an approach for detecting numbers on speed limit signs is proposed. Suc...
Jim Torresen, Jorgen W. Bakke, Lukás Sekani...
LICS
1991
IEEE
13 years 11 months ago
On the Deduction Rule and the Number of Proof Lines
d Abstract) Maria Luisa Bonet∗ Samuel R. Buss∗ Department of Mathematics Department of Mathematics U.C. Berkeley U.C. San Diego Berkeley, California 94720 La Jolla, California ...
Maria Luisa Bonet, Samuel R. Buss