150 search results - page 18 / 30 » On the Logic of Merging |
SIGGRAPH
2010
ACM
14 years 3 months ago
2010
ACM
We develop an accurate, unified treatment of elastica. Following the method of resultant-based formulation to its logical extreme, we derive a higher-order integration rule, or el...
EUSFLAT
2009
13 years 8 months ago
2009
In this paper, computer vision and fuzzy set theory are merged for the robust construction of three-dimensional objects using a small number of cameras and minimal a priori knowled...
ICLP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
FPGA
2008
ACM
14 years 13 days ago
2008
ACM
This paper presents a new technology mapper, WireMap. The mapper uses an edge flow heuristic to improve the routability of a mapped design. The heuristic is applied during the ite...
SEMWEB
2007
Springer
14 years 5 months ago
2007
Springer
In this paper we take a view from the bottom to RDF(S) reasoning. We discuss some issues and requirements on reasoning towards effectively building Semantic Web Pipes, aggregating...