130 search results - page 15 / 26 » Atomic Components |
112
click to vote
DLOG
2009
15 years 5 days ago
2009
Abstract. Generalized closed world reasoning allows for the assumption of a specified maximal set of negated atomic assertions retaining the consistency of an indefinite knowledge ...
103
click to vote
JLP
2011
14 years 5 months ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
104
click to vote
DAC
2007
ACM
16 years 3 months ago
2007
ACM
Adaptation in embedded processing is key in order to address efficiency. The concept of extensible embedded processors works well if a few a-priori known hot spots exist. However,...
131
Voted
ICDAR
2011
IEEE
14 years 2 months ago
2011
IEEE
—We propose a novel method to evaluate table segmentation results based on a table image ground truther. In the ground-truthing process, we first extract connected components fr...
127
click to vote
CIDR
2009
15 years 3 months ago
2009
The traditional architecture for a DBMS engine has the recovery, concurrency control and access method code tightly bound together in a storage engine for records. We propose a di...