8780 search results - page 1461 / 1756 » On the Feasibility of Consistent Computations |
195
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Executable schema mappings between XML schemas are essential to support numerous data management tasks such as data exchange, data integration and schema evolution. The n...
194
click to vote
DIALM
2005
ACM
15 years 8 months ago
2005
ACM
The identification of holes in a wireless sensor network is of primary interest since the breakdown of sensor nodes in a larger area often indicates one of the special events to ...
187
click to vote
ACSD
2007
IEEE
15 years 8 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
206
click to vote
COMPGEOM
2008
ACM
15 years 8 months ago
2008
ACM
We introduce a hierarchical partitioning scheme of the Euclidean plane, called circular partitions. Such a partition consists of a hierarchy of convex polygons, each having small ...
151
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Body scanners offer significant potential for use in many applications like clothing industry, orthopedy, surgery, healthcare, monument conservation, art, as well as film...