1581 search results - page 244 / 317 » Mechanizing Inductive Reasoning |
RWEB
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The Web and the Semantic Web, as we see it, can be understood as a “living organism” combining autonomously evolving data sources, each of them possibly reacting to e...
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we propose and analyze a method for proofs of actual query execution in an outsourced database framework, in which a client outsources its data management needs to a...
108
click to vote
MM
2004
ACM
15 years 5 months ago
2004
ACM
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...
WISER
2004
ACM
15 years 5 months ago
2004
ACM
Much work in software architecture has been inspired by work in physical architecture, in particular Alexander’s work on ‘design patterns’. By contrast, Alexander’s work i...
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
Much research in multi-agent systems reflects the field’s origins in classical artificial intelligence, showing how various refinements to the internal reasoning of individual a...