Sciweavers

7529 search results - page 1087 / 1506
» The Modula-3 Type System
Sort
View
190
Voted
VLDB
2004
ACM
111views Database» more  VLDB 2004»
16 years 6 days ago
Technology Challenges in a Data Warehouse
This presentation will discuss several database technology challenges that are faced when building a data warehouse. It will touch on the challenges posed by high capacity drives ...
Ramesh Bhashyam
196
Voted
BIRTHDAY
2003
Springer
16 years 2 days ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
ICRA
2002
IEEE
96views Robotics» more  ICRA 2002»
15 years 11 months ago
Mobility Enhancements to the Scout Robot Platform
When a distributed robotic system is assigned to perform reconnaissance or surveillance, restrictions inherent to the design of an individual robot limit the system’s performanc...
Andrew Drenner, Ian T. Burt, Tom Dahlin, Bradley K...
SIGMOD
2010
ACM
267views Database» more  SIGMOD 2010»
15 years 11 months ago
Processing proximity relations in road networks
Applications ranging from location-based services to multi-player online gaming require continuous query support to monitor, track, and detect events of interest among sets of mov...
Zhengdao Xu, Hans-Arno Jacobsen
225
Voted
DAWAK
2001
Springer
15 years 11 months ago
Matchmaking for Structured Objects
A fundamental task in multi-agent systems is matchmaking, which is to retrieve and classify service descriptions of agents that (best) match a given service request. Several approa...
Thomas Eiter, Daniel Veit, Jörg P. Mülle...
« Prev « First page 1087 / 1506 Last » Next »