2863 search results - page 247 / 573 » Comparing Operating Systems Using Robustness Benchmarks |
154
click to vote
AAAI
2006
15 years 5 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
190
click to vote
ASPLOS
2012
ACM
13 years 11 months ago
2012
ACM
Despite a burgeoning demand for parallel programs, the tools available to developers working on shared-memory multicore processors have lagged behind. One reason for this is the l...
119
click to vote
JSAC
2008
15 years 4 months ago
2008
We compare two possible mechanisms to manage a peer-to-peer storage system, where participants can store data online on the disks of peers in order to increase data availability an...
135
click to vote
CSL
2010
Springer
2010
Springer
The Hidden Information State model: A practical framework for POMDP-based spoken dialogue management
15 years 4 months ago
This paper explains how Partially Observable Markov Decision Processes (POMDPs) can provide a principled mathematical framework for modelling the inherent uncertainty in spoken di...
134
click to vote
IJNSEC
2007
15 years 3 months ago
2007
It is generally agreed that two key points always attract special concerns during the modelling of anomaly-based intrusion detection. One is the techniques about discerning two cl...