Sciweavers

470 search results - page 66 / 94
» The Foundations for Provenance on the Web
Sort
View
ICLP
2005
Springer
15 years 4 months ago
Modeling Systems in CLP
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
ICAIL
2007
ACM
15 years 3 months ago
The Legal-RDF Ontology. A Generic Model for Legal Documents
Legal-RDF.org1 publishes a practical ontology that models both the layout and content of a document and metadata about the document; these have been built using data models implici...
John McClure
3DPVT
2004
IEEE
231views Visualization» more  3DPVT 2004»
15 years 2 months ago
A Variational Analysis of Shape from Specularities using Sparse Data
Looking around in our every day environment, many of the encountered objects are specular to some degree. Actively using this fact when reconstructing objects from image sequences...
Jan Erik Solem, Henrik Aanæs, Anders Heyden
AAAI
2007
15 years 1 months ago
On the Prospects for Building a Working Model of the Visual Cortex
Human visual capability has remained largely beyond the reach of engineered systems despite intensive study and considerable progress in problem understanding, algorithms and comp...
Thomas Dean, Glenn Carroll, Richard Washington
INFORMATIKTAGE
2008
15 years 17 days ago
Constraint Based Transformation Theory
During the last 25 years the complexity and functionality of software systems has increased dramatically. Software systems have to be updated and restructured continuously [22]. I...
Stefan Natelberg