Sciweavers

2381 search results - page 221 / 477
» On Ordering Descriptions in a Description Logic
Sort
View
IPPS
2000
IEEE
15 years 11 months ago
Automatic Implementation of Distributed Systems Formal Specifications
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance,...
Luiz Henrique Castelo Branco, Antônio Franci...
DCW
2000
Springer
15 years 11 months ago
An Evaluation of Formalisms for Negotiations in E-commerce
The diversity of negotiation types in e-commerce calls for a clear description of the rules that govern them. The participant has to know the rules before engaging in a negotiation...
Morad Benyoucef, Rudolf K. Keller
VISUAL
1999
Springer
15 years 11 months ago
Blobworld: A System for Region-Based Image Indexing and Retrieval
Blobworld is a system for image retrieval based on nding coherent image regions which roughly correspond to objects. Each image is automatically segmented into regions  blobs"...
Chad Carson, Megan Thomas, Serge Belongie, Joseph ...
ICCAD
1994
IEEE
99views Hardware» more  ICCAD 1994»
15 years 10 months ago
Condition graphs for high-quality behavioral synthesis
Identifying mutual exclusiveness between operators during behavioral synthesis is important in order to reduce the required number of control steps or hardware resources. To impro...
Hsiao-Ping Juan, Viraphol Chaiyakul, Daniel D. Gaj...
CEEMAS
2007
Springer
15 years 10 months ago
Knowledge Driven Architecture for Home Care
Multi-Agent Systems (MAS) in health-care domains are showing a rapid increase, in order to manage complex tasks and adapt gracefully to unexpected events. On the other hand, the la...
Ákos Hajnal, David Isern, Antonio Moreno, G...