509 search results - page 66 / 102 » On the completeness of compositional reasoning methods |
REST
2010
ACM
13 years 10 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
BMVC
2010
13 years 6 months ago
2010
The Texture Fragmentation and Reconstruction (TFR) algorithm has been recently introduced [9] to address the problem of image segmentation by textural properties, based on a suita...
BMCBI
2007
13 years 9 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
SEFM
2006
IEEE
14 years 2 months ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
ICCV
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper introduces a new method for surface reconstruction from multiple calibrated images. The primary contribution of this work is the notion of local prior to combine the ï¬...