940 search results - page 67 / 188 » Local rely-guarantee reasoning |
CEC
2009
IEEE
14 years 4 months ago
2009
IEEE
— Capacitated Arc Routing Problem (CARP) has attracted much interest because of its wide applications in the real world. Recently, a memetic algorithm proposed by Lacomme et al. ...
EMMCVPR
2001
Springer
14 years 2 months ago
2001
Springer
To segregate overlapping objects into depth layers requires the integration of local occlusion cues distributed over the entire image into a global percept. We propose to model thi...
IJCAI
2007
13 years 11 months ago
2007
Compiling Bayesian networks has proven an effective approach for inference that can utilize both global and local network structure. In this paper, we define a new method of comp...
POPL
2003
ACM
14 years 10 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
WACV
2008
IEEE
14 years 4 months ago
2008
IEEE
In recent years, many researchers are studying object categorization problem. It is reported that bag of keypoints approach which is based on local features without topological in...