Sciweavers

866 search results - page 129 / 174
» A compositional semantics for CHR
Sort
View
ICIAR
2007
Springer
16 years 5 days 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
15 years 10 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
15 years 10 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»
15 years 7 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
15 years 11 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