Sciweavers

8492 search results - page 1376 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
CEEMAS
2007
Springer
16 years 1 months 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
189
Voted
CIE
2007
Springer
16 years 1 months 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 1 months 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 1 months 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
231
Voted
ISVC
2007
Springer
16 years 1 months 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 »