119 search results - page 11 / 24 » Confidentiality-Preserving Refinement is Compositional - Som... |
113
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
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...
149
click to vote
AAI
2000
15 years 4 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
132
click to vote
ICIP
2007
IEEE
16 years 6 months ago
2007
IEEE
Querying by Visual Thesaurus (VT) is a novel paradigm for content-based image retrieval approaches for it gives the user the possibility, in case of inappropriate starting example...
127
click to vote
COSIT
2007
Springer
15 years 10 months ago
2007
Springer
Cavities in spatial phenomena require geometric representations of regions with holes. Existing models for reasoning over topological relations either exclude such specialized regi...