1581 search results - page 244 / 317 » Mechanizing Inductive Reasoning |
184
Voted
RWEB
2005
Springer
16 years 25 days 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...
164
Voted
VLDB
2005
ACM
16 years 25 days 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...
223
click to vote
MM
2004
ACM
16 years 24 days 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...
176
Voted
WISER
2004
ACM
16 years 23 days 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...
199
Voted
ATAL
2004
Springer
16 years 23 days 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...