Sciweavers

5718 search results - page 726 / 1144
» Modeling Rule Precision
Sort
View
WETICE
2005
IEEE
16 years 1 months ago
Towards a formal framework for Choreography
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...
WISE
2005
Springer
16 years 1 months ago
Constructing Interface Schemas for Search Interfaces of Web Databases
Many databases have become Web-accessible through form-based search interfaces (i.e., search forms) that allow users to specify complex and precise queries to access the underlying...
Hai He, Weiyi Meng, Clement T. Yu, Zonghuan Wu
SIGIR
2005
ACM
16 years 1 months ago
Measure-based metasearch
We propose a simple method for converting many standard measures of retrieval performance into metasearch algorithms. Our focus is both on the analysis of retrieval measures thems...
Javed A. Aslam, Virgiliu Pavlu, Emine Yilmaz
CHARME
2005
Springer
120views Hardware» more  CHARME 2005»
16 years 1 months ago
How Thorough Is Thorough Enough?
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
Arie Gurfinkel, Marsha Chechik
CIVR
2005
Springer
122views Image Analysis» more  CIVR 2005»
16 years 1 months ago
Semantic Event Detection in Structured Video Using Hybrid HMM/SVM
In this paper, we propose a new semantic event detection algorithm in structured video. A hybrid method that combines HMM with SVM to detect semantic events in video is proposed. T...
Tae Meon Bae, Cheon Seog Kim, Sung Ho Jin, Ki Hyun...