Sciweavers

3521 search results - page 368 / 705
» Algorithmic Control in Concurrent Computations
Sort
View
VTC
2006
IEEE
121views Communications» more  VTC 2006»
15 years 10 months ago
Multiobjective QoS-Oriented Planning for Indoor Wireless LANs
Abstract— This paper describes an automatic wireless LAN access points planning approach based on a multicriteria modelling and solving. A realistic and efficient wLAN planning ...
Katia Jaffrès-Runser, Jean-Marie Gorce, St&...
SIGIR
1993
ACM
15 years 8 months ago
Development of a Modern OPAC: From REVTOLC to MARIAN
Since 1986 we have investigated the problems and possibilities of applying modern information retrieval methods to large online public access library catalogs (OPACs). In the Retr...
Edward A. Fox, Robert K. France, Eskinder Sahle, A...
FIRA
2009
Springer
116views Robotics» more  FIRA 2009»
15 years 11 months ago
A Study on Stereo and Motion Data Accuracy for a Moving Platform
Abstract. Stereo and motion analysis are potential techniques for providing information for control or assistance systems in various robotics or driver assistance applications. Thi...
Sandino Morales, Young Woon Woo, Reinhard Klette, ...
ICRA
2007
IEEE
125views Robotics» more  ICRA 2007»
15 years 11 months ago
Single-Query Motion Planning with Utility-Guided Random Trees
— Randomly expanding trees are very effective in exploring high-dimensional spaces. Consequently, they are a powerful algorithmic approach to sampling-based single-query motion p...
Brendan Burns, Oliver Brock
FP
1995
156views Formal Methods» more  FP 1995»
15 years 8 months ago
Type Reconstruction for SCI
We present a type reconstruction algorithm for SCIR 10], a type system for a language with syntactic control of interference. SCIR guarantees that terms of passive type do not cau...
Howard Huang, Uday S. Reddy