1581 search results - page 188 / 317 » Mechanizing Inductive Reasoning |
213
click to vote
CL
1999
Springer
15 years 6 months ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
172
click to vote
IS
2010
15 years 4 months ago
2010
Existing Digital Rights Management systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains m...
191
click to vote
JUCS
2010
15 years 4 months ago
2010
: In the paper application of semantic wikis as knowledge engineering tool in a collaborative environment is considered. Selected aspects of semantic wikis are discussed. The main ...
190
click to vote
AIM
2010
15 years 3 months ago
2010
The European Conference on Case-Based Reasoning (CBR) in 2008 marked 15 years of international and European CBR conferences where almost seven hundred research papers were publish...
189
click to vote
CACM
2010
15 years 3 months ago
2010
We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking p...