3497 search results - page 270 / 700 » Making Distributed Applications Robust |
162
click to vote
FM
2005
Springer
16 years 6 days ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
167
click to vote
ICAPR
2005
Springer
16 years 5 days ago
2005
Springer
This paper describes a lung field segmentation method, working on digital Postero-Anterior chest radiographs. The lung border is detected by integrating the results obtained by tw...
135
click to vote
ISQED
2003
IEEE
15 years 12 months ago
2003
IEEE
- This paper investigates important problems involved in the design of a CML buffer as well as a chain of tapered CML buffers. A new design procedure to systematically design a cha...
164
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
192
click to vote
IWANN
2001
Springer
15 years 11 months ago
2001
Springer
In this paper two methods for the detection and recognition of landmarks to be used in topological modeling for autonomous mobile robots are presented. The first method is based o...