3207 search results - page 143 / 642 » A Semantics for HTN Methods |
114
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a new approach to organize an image database by finding a semantic structure interactively based on multi-user relevance feedback. By treating user relevance feedbacks...
125
click to vote
CIVR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The vector-space retrieval model and Latent Semantic Indexing approaches to retrieval have been used heavily in the field of text information retrieval over the past yea...
144
Voted
CONCUR
2001
Springer
15 years 7 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
131
click to vote
ESMART
2001
Springer
15 years 7 months ago
2001
Springer
This paper presents an operational semantics for a subset of Java Card bytecode, focussing on aspects of the Java Card firewall, method invocation, field access, variable access,...
118
click to vote
CSR
2008
Springer
15 years 5 months ago
2008
Springer
We define a denotational semantics for Light Affine Logic (LAL) which has the property that denotations of functions are polynomial time computable by construction of the model. Th...