Sciweavers

1523 search results - page 162 / 305
» Partially ordered secretaries
Sort
View
CSB
2005
IEEE
151views Bioinformatics» more  CSB 2005»
15 years 11 months ago
Lossless Compression of DNA Microarray Images
Microarray experiments are characterized by a massive amount of data, usually in the form of an image. Based on the nature of microarray images, we consider the microarray in term...
Yong Zhang, Rahul Parthe, Donald A. Adjeroh
CSFW
2005
IEEE
15 years 11 months ago
Computational and Information-Theoretic Soundness and Completeness of Formal Encryption
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...
Pedro Adão, Gergei Bana, Andre Scedrov
HICSS
2005
IEEE
137views Biometrics» more  HICSS 2005»
15 years 11 months ago
Facilitating Human Collaboration with Agents
Ad hoc cross-agency teams are often needed to deal with actual, imminent, or potential crises that involve multiple geographic or political jurisdictions or require coordinated ex...
James E. Just, Mark R. Cornwell, Michael N. Huhns
CEEMAS
2005
Springer
15 years 11 months ago
Dialectical Theory for Multi-agent Assumption-Based Planning
The purpose of this paper is to introduce a dialectical theory for plan synthesis based on a multi-agent approach. This approach is a promising way to devise systems based on agent...
Damien Pellier, Humbert Fiorino
COORDINATION
2005
Springer
15 years 11 months ago
Preserving Architectural Properties in Multithreaded Code Generation
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
Marco Bernardo, Edoardo Bontà