Sciweavers

1680 search results - page 306 / 336
» Scalability for Virtual Worlds
Sort
View
CORR
2011
Springer
124views Education» more  CORR 2011»
14 years 6 months ago
Parallel Recursive State Compression for Free
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...
Alfons Laarman, Jaco van de Pol, Michael Weber 000...
SIGMOD
2003
ACM
127views Database» more  SIGMOD 2003»
15 years 12 months ago
Cache-and-Query for Wide Area Sensor Databases
Webcams, microphones, pressure gauges and other sensors provide exciting new opportunities for querying and monitoring the physical world. In this paper we focus on querying wide ...
Amol Deshpande, Suman Kumar Nath, Phillip B. Gibbo...
SIGMOD
1997
ACM
166views Database» more  SIGMOD 1997»
15 years 4 months ago
The InfoSleuth Project
The goal of the InfoSleuth project at MCC is to exploit and synthesize new technologies into a uni ed system that retrieves and processes information in an ever-changing network o...
Roberto J. Bayardo Jr., William Bohrer, Richard S....
GPC
2008
Springer
15 years 26 days ago
A Pragmatic Approach for the Semantic Description and Matching of Pervasive Resources
The increasing popularity of personal wireless devices has raised new demands for the efficient discovery of heterogeneous devices and services in pervasive environments. With the...
Ayomi Bandara, Terry R. Payne, David De Roure, Nic...
EAAI
2007
154views more  EAAI 2007»
14 years 11 months ago
An agent-based approach to solve dynamic meeting scheduling problems with preferences
Multi-agent systems are widely used to address large-scale distributed combinatorial applications in the real world. One such application is meeting scheduling (MS), which is de...
Ahlem Ben Hassine, Tu Bao Ho