Sciweavers

4166 search results - page 744 / 834
» A modular module system
Sort
View
ATAL
2004
Springer
15 years 10 months ago
Multiagent Planning as Control Synthesis
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...
Kiam Tian Seow, Chuan Ma, Makoto Yokoo
CIARP
2004
Springer
15 years 10 months ago
Advanced Relevance Feedback Query Expansion Strategy for Information Retrieval in MEDLINE
MEDLINE is a very large database of abstracts of research papers in medical domain, maintained by the National Library of Medicine. Documents in MEDLINE are supplied with manually ...
Kwangcheol Shin, Sang-Yong Han, Alexander F. Gelbu...
CIT
2004
Springer
15 years 10 months ago
FPGA Based Implementation of an Invisible-Robust Image Watermarking Encoder
Abstract. Both encryption and digital watermarking techniques need to be incorporated in a digital rights management framework to address different aspects of content management. W...
Saraju P. Mohanty, Renuka Kumara C., Sridhara Naya...
ICFEM
2004
Springer
15 years 9 months ago
A Formal Monitoring-Based Framework for Software Development and Analysis
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
Feng Chen, Marcelo d'Amorim, Grigore Rosu
ICWE
2004
Springer
15 years 9 months ago
SIE - Intelligent Web Proxy Framework
In this paper we would like to present and describe SIE, a transparent, intelligent Web proxy framework. Its aim is to provide efficient and robust platform for implementing vari...
Grzegorz Andruszkiewicz, Krzysztof Ciebiera, Marci...