Sciweavers

866 search results - page 129 / 174
» A compositional semantics for CHR
Sort
View
ICIAR
2007
Springer
14 years 3 months ago
Image Retrieval Using Transaction-Based and SVM-Based Learning in Relevance Feedback Sessions
This paper introduces a composite relevance feedback approach for image retrieval using transaction-based and SVM-based learning. A transaction repository is dynamically constructe...
Xiaojun Qi, Ran Chang
ICPR
2000
IEEE
14 years 2 months ago
Database Architecture for Autonomous Transportation Agents for On-Scene Networked Incident Management (ATON)
A collection of distributed databases forms an important architectural component of the ATON project for networked incidence management of highway traffic. The database sub-archit...
Mohan M. Trivedi, Shailendra K. Bhonsle, Amarnath ...
TOOLS
1999
IEEE
14 years 1 months ago
Bounding Component Behavior via Protocols
In this paper we enhance the SOFA Component Description Language with a semantic description of a component's functionality. There are two key requirements this description a...
Frantisek Plasil, Milos Besta, Stanislav Visnovsky
LREC
2008
94views Education» more  LREC 2008»
13 years 11 months ago
Merging a Syntactic Resource with a WordNet: a Feasibility Study of a Merge between STO and DanNet
This paper presents a feasibility study of a merge between SprogTeknologisk Ordbase (STO), which contains morphological and syntactic information, and DanNet, which is a Danish Wo...
Bolette Sandford Pedersen, Anna Braasch, Lina Henr...
ISSTA
2004
ACM
14 years 3 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner