Sciweavers

6881 search results - page 330 / 1377
» Motivation
Sort
View
GI
2004
Springer
16 years 5 days ago
Tuplespace-Based Collaboration for Bluetooth-Enabled Devices in Smart Environments
: Smart environments are often populated by resource-restricted devices that need to cooperate with each other in order to access remote sensors and benefit from other devices’ ...
Frank Siegemund, Pascal Keller
HIPC
2004
Springer
16 years 5 days ago
iSAN - An Intelligent Storage Area Network Architecture
This paper describes the motivation, architecture and implementation of iSAN, an “intelligent” storage area network. The main contributions of this work are: (1) how to archite...
Ganesh M. Narayan, K. Gopinath
172
Voted
IBERAMIA
2004
Springer
16 years 4 days ago
Well Founded Semantics for Logic Program Updates
Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. Most of these semantics extend the stable models sema...
Federico Banti, José Júlio Alferes, ...
IBERAMIA
2004
Springer
16 years 4 days ago
DIMEx100: A New Phonetic and Speech Corpus for Mexican Spanish
In this paper the phonetic and speech corpus DIMEx100 for Mexican Spanish is presented. We discuss both the linguistic motivation and the computational tools employed for the desig...
Luis Alberto Pineda, Luis Villaseñor Pineda...
ICALP
2004
Springer
16 years 4 days ago
The Power of Verification for One-Parameter Agents
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
Vincenzo Auletta, Roberto De Prisco, Paolo Penna, ...