Sciweavers

654 search results - page 72 / 131
» Ordered Sets and Complete Lattices
Sort
View
ICIP
2007
IEEE
16 years 1 months ago
Enhancement of Medical Images by the Paired Transform
In this paper, we discuss the application of the two-dimensio- nal paired representation for processing medical images. This representation leads to the effective solution of the ...
Fatma Arslan, Artyom M. Grigoryan
DAC
1999
ACM
16 years 25 days ago
Synthesis of Embedded Software Using Free-Choice Petri Nets
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Marco Sgroi, Luciano Lavagno
SPAA
2009
ACM
16 years 12 days ago
A DoS-resilient information system for dynamic data management
Denial of service (DoS) attacks are arguably one of the most cumbersome problems in the Internet. This paper presents a distributed information system (over a set of completely co...
Matthias Baumgart, Christian Scheideler, Stefan Sc...
ATAL
2005
Springer
15 years 5 months ago
A polynomial algorithm for decentralized Markov decision processes with temporal constraints
One of the difficulties to adapt MDPs for the control of cooperative multi-agent systems, is the complexity issued from Decentralized MDPs. Moreover, existing approaches can not ...
Aurélie Beynier, Abdel-Illah Mouaddib
77
Voted
UIST
2003
ACM
15 years 5 months ago
User interface continuations
Dialog boxes that collect parameters for commands often create ephemeral, unnatural interruptions of a program’s normal execution flow, encouraging the user to complete the dial...
Dennis Quan, David Huynh, David R. Karger, Robert ...