4022 search results - page 547 / 805 » Adaptive Sweeping Techniques |
186
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
173
click to vote
CMMR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Seeking to identify the constituent parts of the multidimensional auditory attribute that musicians know as timbre, music psychologists have made extensive use of multidi...
189
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
211
click to vote
DEXA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Sequence alignment is an important task for molecular biologists. Because alignment basically deals with approximate string matching on large biological sequence collecti...
276
click to vote
HOLOMAS
2007
Springer
16 years 1 months ago
2007
Springer
While the need to build the Intrusion Detection Systems (IDS) based on on a distributed and cooperative (P2P) paradigm is being generally acknowledged, the field has been disconne...