7167 search results - page 437 / 1434 » Answer Set Programming |
155
click to vote
EDBT
2010
ACM
15 years 7 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...
105
click to vote
IADIS
2004
15 years 5 months ago
2004
This study compares two ways of presenting a table of contents (TOC) in academic web documents: showing the TOC on a separate screen (SE version) and showing the TOC on the same s...
115
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...
CORR
2006
Springer
15 years 3 months ago
2006
Springer
In a previous paper we have suggested a number of ideas to attack circuit size complexity with cohomology. As a simple example, we take circuits that can only compute the AND of t...
133
click to vote
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
This paper presents a probabilistic framework for computing correspondences and fundamental matrix in the structure from motion problem. Inspired by Moisan and Stival [1], we sugg...