7167 search results - page 392 / 1434 » Answer Set Programming |
150
Voted
DLOG
2011
14 years 7 months ago
2011
We present an optimized query rewriting algorithm for OWL 2 QL that computes the rewriting set of a user query by avoiding unnecessary inferences and extended clause subsumption ch...
145
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper, we propose a novel linear programming based method to estimate arbitrary motion from two images. The proposed method always finds the global optimal solution of the...
120
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
111
click to vote
STOC
2001
ACM
16 years 3 months ago
2001
ACM
Recently Rothemund and Winfree 6] have considered the program size complexity of constructing squares by selfassembly. Here, we consider the time complexity of such constructions ...
118
Voted
IEEEARES
2010
IEEE
15 years 10 months ago
2010
IEEE
—Program obfuscation is often employed by malware in order to avoid detection by anti-virus software, but it has many other legitimate uses, such as copy protection, software lic...