2651 search results - page 412 / 531 » Beliefs in Agent Implementation |
193
click to vote
FMCAD
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
193
click to vote
VLDB
2004
ACM
16 years 10 days ago
2004
ACM
This presentation will discuss several database technology challenges that are faced when building a data warehouse. It will touch on the challenges posed by high capacity drives ...
168
click to vote
HICSS
2002
IEEE
15 years 12 months ago
2002
IEEE
Information systems outsourcing has been viewed as an attractive option by many senior managers generally because of the belief that IS outsourcing vendors can achieve economies o...
215
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Real-world databases often contain syntactic and semantic errors, in spite of integrity constraints and other safety measures incorporated into modern DBMSs. We present ERACER, an...
257
Voted
COLT
1994
Springer
15 years 11 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...