Sciweavers

935 search results - page 87 / 187
» Stable models and difference logic
Sort
View
ICFEM
2010
Springer
13 years 8 months ago
Model-Driven Protocol Design Based on Component Oriented Modeling
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
Prabhu Shankar Kaliappan, Hartmut König, Seba...
SIGIR
2008
ACM
13 years 10 months ago
Query dependent ranking using K-nearest neighbor
Many ranking models have been proposed in information retrieval, and recently machine learning techniques have also been applied to ranking model construction. Most of the existin...
Xiubo Geng, Tie-Yan Liu, Tao Qin, Andrew Arnold, H...
DC
2001
13 years 11 months ago
The ABC Ontology and Model
This paper describes the latest version of the ABC metadata model. This model has been developed within the Harmony international digital library project to provide a common conce...
Carl Lagoze, Jane Hunter
LICS
2002
IEEE
14 years 2 months ago
Linearity in Process Languages
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affi...
Mikkel Nygaard, Glynn Winskel
ATAL
2006
Springer
14 years 1 months ago
Automated semantic web service discovery with OWLS-MX
We present an approach to hybrid semantic Web service matching that complements logic based reasoning with approximate matching based on syntactic IR based similarity computations...
Matthias Klusch, Benedikt Fries, Katia P. Sycara