696 search results - page 77 / 140 » Explaining abstract counterexamples |
153
click to vote
JOT
2010
15 years 1 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...
115
click to vote
VTC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—In this paper we present an overview of a vehicleto-vehicle radio channel measurement campaign at 5.6 GHz. The selected measurement scenarios are based on important safe...
140
click to vote
ECCV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This work focuses on characterizing scenery images. We semantically divide the objects in natural landscape scenes into background and foreground and show that the shapes...
120
Voted
SAT
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...
143
Voted
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper introduces the task of Technology-Structure Mining to support Management of Technology. We propose a linguistic based approach for identification of Technology...