Sciweavers

9133 search results - page 1614 / 1827
» Modelling perception using image processing algorithms
Sort
View
138
Voted
ICRA
2003
IEEE
154views Robotics» more  ICRA 2003»
15 years 8 months ago
Scalability and schedulability in large, coordinated, distributed robot systems
— Multiple, independent robot platforms promise significant advantage with respect to robustness and flexibility. However, coordination between otherwise independent robots req...
John Sweeney, Huan Li, Roderic A. Grupen, Krithi R...
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
15 years 8 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
141
Voted
HPDC
2010
IEEE
15 years 4 months ago
New caching techniques for web search engines
This paper proposes a cache hierarchy that enables Web search engines to efficiently process user queries. The different caches in the hierarchy are used to store pieces of data w...
Mauricio Marín, Veronica Gil Costa, Carlos ...
ANOR
2010
102views more  ANOR 2010»
15 years 3 months ago
Optimal control of dosage decisions in controlled ovarian hyperstimulation
Abstract In the controlled ovary hyperstimulation (COH) cycle of the in vitro fertilization-embryo transfer (IVFET) therapy, the clinicians observe the patients' responses to ...
Miao He, Lei Zhao, Warren B. Powell
156
Voted
ICASSP
2011
IEEE
14 years 7 months ago
On the construction of low-pass filters on the unit sphere
This paper considers the problem of construction of low-pass filters on the unit sphere, which has wide ranging applications in the processing of signals on the unit sphere. We p...
Zubair Khalid, Salman Durrani, Rodney A. Kennedy, ...
« Prev « First page 1614 / 1827 Last » Next »