4098 search results - page 208 / 820 » Sound mobility models |
128
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
188
click to vote
CKEC
1991
15 years 8 months ago
1991
We propose in this paper a general framework for integrating inductive and case-based reasoning techniques for diagnosis tasks. We present a set of practical integrated approaches...
148
click to vote
LREC
2008
15 years 6 months ago
2008
Although ontologies and linguistic resources play a key role in applied AI and NLP, they have not been developed in a common and systematic way. The lack of a systematic methodolo...
130
click to vote
CSREAEEE
2006
15 years 6 months ago
2006
This work is in the domain of Electronic Document Management (EDM) [1]. The documents can be an electronic writing, an image, a sound file, a network protocol message, a set of da...
140
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...