Sciweavers

21430 search results - page 4283 / 4286
» Abstract Effective Models
Sort
View
DCOSS
2011
Springer
12 years 10 months ago
STARS: Static relays for multi-robot real-time search and monitoring
Abstract—We first present a problem called precedence constrained two traveling salesman (PC2TSP). We propose a nearoptimal heuristic to PC2TSP to generate tours by clustering p...
Yuanteng Pei, Matt W. Mutka
DSD
2011
IEEE
200views Hardware» more  DSD 2011»
12 years 10 months ago
Microthreading as a Novel Method for Close Coupling of Custom Hardware Accelerators to SVP Processors
Abstract—We present a new low-level interfacing scheme for connecting custom accelerators to processors that tolerates latencies that usually occur when accessing hardware accele...
Jaroslav Sykora, Leos Kafka, Martin Danek, Lukas K...
CORR
2012
Springer
179views Education» more  CORR 2012»
12 years 6 months ago
Distributional convergence for the number of symbol comparisons used by QuickSort
d Abstract) James Allen Fill1† 1 Department of Applied Mathematics and Statistics, The Johns Hopkins University, 34th and Charles Streets, Baltimore, MD 21218-2682 USA received 2...
James Allen Fill
LPAR
2012
Springer
12 years 6 months ago
The TPTP Typed First-Order Form with Arithmetic
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Pe...
ICDE
2012
IEEE
241views Database» more  ICDE 2012»
12 years 1 months ago
GeoFeed: A Location Aware News Feed System
Abstract—This paper presents the GeoFeed system; a locationaware news feed system that provides a new platform for its users to get spatially related message updates from either ...
Jie Bao 0003, Mohamed F. Mokbel, Chi-Yin Chow
« Prev « First page 4283 / 4286 Last » Next »