Sciweavers

2458 search results - page 296 / 492
» Database-Management Principles And Applications
Sort
View
ECAI
1998
Springer
15 years 3 months ago
The Intentions of Teams: Team Structure, Endodeixis, and Exodeixis
Abstract. Teams arise in a number of important multiagent applications. Several theories of intentions for teams have been proposed. By and large, these theories tend to model team...
Munindar P. Singh
ISCOPE
1998
Springer
15 years 3 months ago
Dynamic Reconfiguration and Virtual Machine Management in the Harness Metacomputing System
Metacomputing frameworks have received renewed attention of late, fueled both by advances in hardware and networking, and by novel concepts such as computational grids. However the...
Mauro Migliardi, Jack Dongarra, Al Geist, Vaidy S....
CADE
1990
Springer
15 years 3 months ago
A Theorem Prover for a Computational Logic
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
Robert S. Boyer, J. Strother Moore
AAAI
2007
15 years 1 months ago
Semantic Inference at the Lexical-Syntactic Level
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...
Roy Bar-Haim, Ido Dagan, Iddo Greental, Eyal Shnar...
DAGSTUHL
2007
15 years 21 days ago
Ethical Assessment in the Design of Ambient Assisted Living
This paper tackles on ethical issues that are relevant when designing new technological service systems for the assisted living. In this paper we present our preliminary ethical gu...
Veikko Ikonen, Eija Kaasinen