334 search results - page 48 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
116
click to vote
HT
2010
ACM
15 years 9 months ago
2010
ACM
The rise of social interactions on the Web requires developing new methods of information organization and discovery. To that end, we propose a generative community-based probabil...
150
click to vote
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...
137
click to vote
AIPS
2003
15 years 5 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
123
click to vote
LREC
2010
15 years 5 months ago
2010
This paper describes the first TTS evaluation campaign designed for Spanish. Seven research institutions took part in the evaluation campaign and developed a voice from a common s...
132
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
Context-aware intelligent systems employ implicit inputs, and make decisions based on complex rules and machine learning models that are rarely clear to users. Such lack of system...