Sciweavers

6057 search results - page 1024 / 1212
» A system architecture for pervasive computing
Sort
View
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 17 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
HRI
2006
ACM
16 years 16 days ago
The effect of head-nod recognition in human-robot conversation
This paper reports on a study of human participants with a robot designed to participate in a collaborative conversation with a human. The purpose of the study was to investigate ...
Candace L. Sidner, Christopher Lee, Louis-Philippe...
INFOSCALE
2006
ACM
16 years 16 days ago
Indexing and searching tera-scale Grid-Based Digital Libraries
— The University of California, Berkeley and the University of Liverpool in conjunction with the San Diego Supercomputer Center, are developing a framework for GridBased Digital ...
Robert Sanderson, Ray R. Larson
MSWIM
2006
ACM
16 years 16 days ago
An efficient multicast packet delivery scheme for UMTS
In this paper we present an efficient scheme for the multicast transmission of the data in the Universal Mobile Telecommunications System (UMTS). We take advantage of the tree top...
Antonios G. Alexiou, Dimitrios Antonellis, Christo...
CAMP
2005
IEEE
16 years 5 days ago
Reinforcement Learning for P2P Searching
— For a peer-to-peer (P2P) system holding massive amount of data, an efficient and scalable search for resource sharing is a key determinant to its practical usage. Unstructured...
Luca Gatani, Giuseppe Lo Re, Alfonso Urso, Salvato...
« Prev « First page 1024 / 1212 Last » Next »