Sciweavers

24105 search results - page 4493 / 4821
» Models in Information Retrieval
Sort
View
ENTCS
2006
109views more  ENTCS 2006»
15 years 4 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
IJCV
2008
146views more  IJCV 2008»
15 years 4 months ago
Scanning Depth of Route Panorama Based on Stationary Blur
This work achieves an efficient acquisition of scenes and their depths along long streets. A camera is mounted on a vehicle moving along a straight or a mildly curved path and a sa...
Jiang Yu Zheng, Min Shi
IJDMMM
2008
119views more  IJDMMM 2008»
15 years 4 months ago
A relational perspective on spatial data mining
: Remote sensing and mobile devices nowadays collect a huge amount of spatial data, which have to be analysed in order to discover interesting information about economic, social an...
Donato Malerba
FGCS
2006
87views more  FGCS 2006»
15 years 4 months ago
Task distribution with a random overlay network
We consider a model where commodity service providers are offering commodity computational services to a set of customers. We provide a solution for the efficient distribution of ...
Ladislau Bölöni, Damla Turgut, Dan C. Ma...
GRID
2006
Springer
15 years 4 months ago
Fault-aware scheduling for Bag-of-Tasks applications on Desktop Grids
Desktop Grids have proved to be a suitable platform for the execution of Bag-of-Tasks applications but, being characterized by a high resource volatility, require the availability ...
Cosimo Anglano, John Brevik, Massimo Canonico, Dan...
« Prev « First page 4493 / 4821 Last » Next »