1689 search results - page 106 / 338 » Refining abstract interpretations |
122
click to vote
NOMS
2000
IEEE
15 years 9 months ago
2000
IEEE
ot only high level description of abstract policy, but also enables such policy to be refined and eventually mapped into an appropriate configuration for controlling devices in the...
151
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
136
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a new framework called fuzzy relevance feedback in interactive content-based image retrieval (CBIR) systems based on soft-decision. An efficient learning appro...
173
click to vote
MICCAI
2005
Springer
15 years 10 months ago
2005
Springer
This work presents a framework driven by parcellation of brain gray matter in standard normalized space to classify the neuronal fibers obtained from diffusion tensor imaging (DTI)...
141
click to vote
ACL
1997
15 years 5 months ago
1997
Verbal and compositional lexical aspect provide the underlying temporal structure of events. Knowledge of lexical aspect, e.g., (a)telicity, is therefore required for interpreting...