7921 search results - page 1335 / 1585 » Process Modeling in Web Applications |
CVPR
1997
IEEE
12 years 7 months ago
1997
IEEE
Snakes, or active contours, are used extensively in computer
vision and image processing applications, particularly
to locate object boundaries. Problems associated with
initial...
ICSE
2012
IEEE-ACM
12 years 1 months ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
ISCAS
2003
IEEE
14 years 4 months ago
2003
IEEE
In this paper, we study the effectiveness of the multilevel paradigm in considerably reducing the diagnosis latency of distributed algorithms for fault detection in networks with ...
ATVA
2006
Springer
14 years 2 months ago
2006
Springer
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...
MOVEP
2000
14 years 2 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...