496 search results - page 47 / 100 » Generation Gaps Revisited |
100
click to vote
CADE
2010
Springer
15 years 28 days ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...
107
click to vote
FLAIRS
2011
14 years 3 months ago
2011
The aim of this paper is threefold: it explores methods for the detection of affective states in text, it presents the usage of such affective cues in a conversational system and ...
134
click to vote
IJSEKE
2011
14 years 3 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
BMCBI
2007
14 years 12 months ago
2007
Background: Currently, there exists tens of different microbial and eukaryotic metabolic reconstructions (e.g., Escherichia coli, Saccharomyces cerevisiae, Bacillus subtilis) with...
ICIP
1998
IEEE
16 years 1 months ago
1998
IEEE
The rapid growth of visual data over the last few years has lead to many schemes for retrieving such data. With content-based systems today, there exists a significant gap between...