1176 search results - page 199 / 236 » Implicit Abstraction Heuristics |
122
Voted
SEBD
2000
15 years 1 months ago
2000
Abstract. Content-based image retrieval systems allow the user to interactively search image databases looking for those images which are similar to a specified query image. To thi...
IJCAI
1989
15 years 1 months ago
1989
based on an abstract concept of quiescence. In the following we sketch this and a related model, describe the design of our experiments, and present the results of our simulation s...
111
Voted
DAIS
2009
15 years 1 months ago
2009
Abstract. Our work focuses on distributed software services and their requirements in terms of system performance and dependability. We target the problem of finding optimal deploy...
78
Voted
GD
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The Sugiyama framework is the most commonly used concept for visualizing directed graphs. It draws them in a hierarchical way and operates in four phases: cycle removal, ...
135
click to vote
FMICS
2010
Springer
15 years 19 days ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...