Sciweavers

2686 search results - page 224 / 538
» Testing metric properties
Sort
View
CALCO
2009
Springer
150views Mathematics» more  CALCO 2009»
16 years 1 months ago
Approximating Labelled Markov Processes Again!
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
Philippe Chaput, Vincent Danos, Prakash Panangaden...
ICIP
2008
IEEE
16 years 1 months ago
Robust automated ground plane rectification based on moving vehicles for traffic scene surveillance
Most outdoor visual surveillance scenes involve objects of interest moving on the ground plane. However, perspective distortion introduces many difficulties to various applicatio...
Zhaoxiang Zhang, Min Li, Kaiqi Huang, Tieniu Tan
INFOCOM
2008
IEEE
16 years 1 months ago
Characterizing and Modelling Clustering Features in AS-Level Internet Topology
The AS-level Internet topology has shown significant clustering features. In this paper, we propose a new set of clustering metrics and conduct extensive measurement on the AS-le...
Yan Li, Jun-Hong Cui, Dario Maggiorini, Michalis F...
ICC
2007
IEEE
192views Communications» more  ICC 2007»
16 years 28 days ago
Uplink-Downlink Imbalance in Wireless Cellular Networks
—Uplink-Downlink imbalance is a characteristic of all wireless networks which greatly impacts system performance, and must be accounted for in system design and simulation. Howev...
Donna Ghosh, Christopher Lott
IROS
2007
IEEE
132views Robotics» more  IROS 2007»
16 years 27 days ago
Handling shape and contact location uncertainty in grasping two-dimensional planar objects
— This paper addresses the problem of selecting contact locations for grasping objects in the presence of shape and contact location uncertainty. Focusing on two-dimensional plan...
Vassilios N. Christopoulos, Paul R. Schrater