1536 search results - page 48 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
105
click to vote
CAISE
2003
Springer
15 years 7 months ago
2003
Springer
In a selective information dissemination (SDI) system, users submit profiles consisting of a number of long-standing queries to represent their information needs. The system then c...
108
click to vote
COLING
2008
15 years 3 months ago
2008
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...
136
click to vote
CMSB
2007
Springer
15 years 8 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
118
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Learning to rank is a new statistical learning technology on creating a ranking model for sorting objects. The technology has been successfully applied to web search, and is becom...
JUCS
2006
15 years 1 months ago
2006
Abstract: Most modern computer applications should run on heterogeneous platforms and, moreover, objects and respective code should be easily interchangeable between distinct platf...