1027 search results - page 196 / 206 » Representing and Reasoning with Operational Semantics |
145
Voted
COLT
1994
Springer
15 years 3 months ago
1994
Springer
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...
126
Voted
PODS
1995
ACM
15 years 3 months ago
1995
ACM
Databases are often incomplete because of the presence of disjunctive information, due to con icts, partial knowledge and other reasons. Queries against such databases often ask q...
SIGSOFT
2002
ACM
16 years 11 days ago
2002
ACM
Program slicing is a potentially useful analysis for aiding program understanding. However, slices of even small programs are often too large to be generally useful. Imprecise poi...
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
To cope with society’s demand for transparency and corruption prevention, the Brazilian Office of the Comptroller General (CGU) has carried out a number of actions, including: aw...
101
Voted
CIVR
2007
Springer
15 years 5 months ago
2007
Springer
Large archives of Ottoman documents are challenging to many historians all over the world. However, these archives remain inaccessible since manual transcription of such a huge vo...