Sciweavers

8492 search results - page 1376 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
CEEMAS
2007
Springer
16 years 27 days ago
HeCaSe2: A Multi-agent Ontology-Driven Guideline Enactment Engine
Abstract. HeCaSe2 is a multi-agent system that intends to help doctors to apply clinical guidelines to their patients in a semi-automatic fashion. HeCaSe2 agents need a lot of (sca...
David Isern, David Sánchez, Antonio Moreno
CIE
2007
Springer
16 years 27 days ago
Quotients over Minimal Type Theory
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
Maria Emilia Maietti
CONTEXT
2007
Springer
16 years 27 days ago
Between Symbol and Language-in-use
Indexing is often designed with the intent of dimensional reduction, that is, of generating standardised and uniform descriptive metadata. This could be characterised as a process ...
Emma Tonkin
HPCC
2007
Springer
16 years 26 days ago
PARMI: A Publish/Subscribe Based Asynchronous RMI Framework for Cluster Computing
This paper presents a publish/subscribe based asynchronous remote method invocation framework (PARMI) aiming to improve performance and programming flexibility. PARMI enables high-...
Heejin Son, Xiaolin Li
ISVC
2007
Springer
16 years 26 days ago
Content-Based Image Retrieval Using Shape and Depth from an Engineering Database
Content based image retrieval (CBIR), a technique which uses visual contents to search images from the large scale image databases, is an active area of research for the past decad...
Amit Jain, Ramanathan Muthuganapathy, Karthik Rama...
« Prev « First page 1376 / 1699 Last » Next »