2268 search results - page 317 / 454 » The Essence of Form Abstraction |
MICCAI
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. An N-dimensional image is divided into "object" and "background" segments using a graph cut approach. A graph is formed by connecting all pairs of nei...
111
click to vote
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
117
Voted
VISUAL
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The present work is focused on a global image characterization based on a description of the 2D displacements of the different shapes present in the image, which can be e...
124
Voted
ZUM
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
104
click to vote
ICSE
1995
IEEE-ACM
15 years 5 months ago
1995
IEEE-ACM
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...