Sciweavers

23004 search results - page 4447 / 4601
» Evaluation of Adaptive Systems
Sort
View
EDBT
2012
ACM
255views Database» more  EDBT 2012»
13 years 16 days ago
Top-k spatial keyword queries on road networks
With the popularization of GPS-enabled devices there is an increasing interest for location-based queries. In this context, one interesting problem is processing top-k spatial key...
João B. Rocha-Junior, Kjetil Nørv&ar...
HPDC
2012
IEEE
13 years 15 days ago
VNET/P: bridging the cloud and high performance computing through fast overlay networking
networking with a layer 2 abstraction provides a powerful model for virtualized wide-area distributed computing resources, including for high performance computing (HPC) on collec...
Lei Xia, Zheng Cui, John R. Lange, Yuan Tang, Pete...
AAAI
2012
13 years 15 days ago
A Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video
We are developing a testbed for learning by demonstration combining spoken language and sensor data in a natural real-world environment. Microsoft Kinect RGBDepth cameras allow us...
Young Chol Song, Henry A. Kautz
ICSE
2012
IEEE-ACM
13 years 15 days ago
WitchDoctor: IDE support for real-time auto-completion of refactorings
—Integrated Development Environments (IDEs) have come to perform a wide variety of tasks on behalf of the programmer, refactoring being a classic example. These operations have u...
Stephen R. Foster, William G. Griswold, Sorin Lern...
GI
2009
Springer
15 years 2 months ago
Elektronische Wahlen: Verifizierung vs. Zertifizierung
: Der Beitrag diskutiert die kontroversen Ansätze – Verifizierung versus Evaluation/Zertifizierung – zur Sicherung elektronischer Wahlen mit Wahlgeräten. Dabei spielt das Urt...
Melanie Volkamer, Guido Schryen, Lucie Langer, Axe...
« Prev « First page 4447 / 4601 Last » Next »