2302 search results - page 213 / 461 » Testing as Abstraction |
160
click to vote
AUSAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This paper presents a comparative study between a state-ofthe-art clause weighting local search method for satisfiability testing and a variant modified to obtain longe...
156
click to vote
ECCV
2004
Springer
16 years 20 hour ago
2004
Springer
Abstract. A method for quantitative assessment of tree structures is reported allowing evaluation of airway tree morphology and its associated function. Our skeletonization and bra...
153
click to vote
ESORICS
2004
Springer
16 years 18 hour ago
2004
Springer
Abstract. The recent approach of a model-based framework for steganography fruitfully contributes to the discussion on the security of steganography. In addition, the first propos...
177
click to vote
ESWS
2004
Springer
16 years 18 hour ago
2004
Springer
Abstract. We think of Match as an operator which takes two graph-like structures and produces a mapping between those nodes of the two graphs that correspond semantically to each o...
186
Voted
EUC
2004
Springer
16 years 18 hour ago
2004
Springer
Abstract. In ubiquitous environments, a user is free to move one space to another. Thus, VOD applications should be able to provide seamless video delivery to a mobile user. In thi...