Sciweavers

1160 search results - page 163 / 232
» A Colour Object Search Algorithm
Sort
View
138
Voted
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 6 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
137
Voted
ESEM
2008
ACM
15 years 4 months ago
A constrained regression technique for cocomo calibration
Building cost estimation models is often considered a search problem in which the solver should return an optimal solution satisfying an objective function. This solution also nee...
Vu Nguyen, Bert Steece, Barry W. Boehm
130
Voted
CEC
2010
IEEE
15 years 2 months ago
Behavioral diversity measures for Evolutionary Robotics
Abstract— In Evolutionary Robotics (ER), explicitly rewarding for behavioral diversity recently revealed to generate efficient results without recourse to complex fitness funct...
Stéphane Doncieux, Jean-Baptiste Mouret
IVC
2006
171views more  IVC 2006»
15 years 2 months ago
Extracting 3D information from broadcast soccer video
In this paper, we propose a new method to estimate players' and ball's positions from monocular broadcast soccer video. With the relationship between objects and the cam...
Yang Liu, Dawei Liang, Qingming Huang, Wen Gao
146
Voted
PAMI
2008
137views more  PAMI 2008»
15 years 2 months ago
IRGS: Image Segmentation Using Edge Penalties and Region Growing
This paper proposes an image segmentation method named iterative region growing using semantics (IRGS), which is characterized by two aspects. First, it uses graduated increased ed...
Qiyao Yu, David A. Clausi