Sciweavers

5378 search results - page 847 / 1076
» Base Logics in Argumentation
Sort
View
AGIS
2000
95views more  AGIS 2000»
13 years 10 months ago
Error Detection through Consistency Checking
Following a brief discussion on various aspects of data quality, possible methods are examined for the detection of errors in a spatial database. Using examples, we introduce the c...
Peng Gong, Lan Mu
IJDAR
2002
108views more  IJDAR 2002»
13 years 10 months ago
Document understanding for a broad class of documents
We present a document analysis system able to assign logical labels and extract the reading order in a broad set of documents. All information sources, from geometric features and ...
Marco Aiello, Christof Monz, Leon Todoran
AIL
1999
118views more  AIL 1999»
13 years 10 months ago
Autonomous Agents with Norms
In this paper we present some concepts and their relations that are necessary for modeling autonomous agents in an environment that is governed by some (social) norms. We divide th...
Frank Dignum
TCAD
1998
82views more  TCAD 1998»
13 years 10 months ago
Structural methods for the synthesis of speed-independent circuits
Most existing tools for the synthesisof asynchronouscircuits from Signal Transition Graphs (STGs) derive the reachability graph for the calculation of logic equations. This paper ...
Enric Pastor, Jordi Cortadella, Alex Kondratyev, O...
TC
2002
13 years 10 months ago
A Number System with Continuous Valued Digits and Modulo Arithmetic
This paper presents a novel number system based on signed continuous valued digits. Arithmetic operations in this number system are performed using simple analog circuitry, in con...
Aryan Saed, Majid Ahmadi, Graham A. Jullien