2737 search results - page 367 / 548 » interaction 2009 |
281
click to vote
SAMT
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The Semantic Web has recently seen a rise of large knowledge bases (such as DBpedia) that are freely accessible via SPARQL endpoints. The structured representation of the...
197
click to vote
SEKE
2009
Springer
16 years 2 months ago
2009
Springer
In this paper we present the design and implementation of an agent-mediated B2C e-Marketplace as part of the social and immersive 3D e-Tourism environment “Itchy Feet”. Custom...
282
click to vote
SEKE
2009
Springer
16 years 2 months ago
2009
Springer
Most existing software optimization research assumes advance knowledge of the component parameters. Perfect future knowledge of fault detection is an unnecessary oversimplificati...
159
click to vote
SLE
2009
Springer
16 years 2 months ago
2009
Springer
We present a domain-specific language embedded within the Haskell programming language to build scripts in a declarative and typesafe manner. We can categorize script components i...
209
click to vote
TARK
2009
Springer
16 years 2 months ago
2009
Springer
Halpern, Moses and Tuttle presented a definition of interactive proofs using a notion they called practical knowledge, but left open the question of finding an epistemic formula...