902 search results - page 65 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
100
Voted
DSN
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents a formal model for asynchronous distributed systems with servers that may exhibit Byzantine faults or crash and subsequently recover. The model is computationa...
89
Voted
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
105
click to vote
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
56
Voted
ACL
2010
14 years 10 months ago
2010
English noun/verb (N/V) pairs (contract, cement) have undergone complex patterns of change between 3 stress patterns for several centuries. We describe a longitudinal dataset of N...
111
Voted
ICCBR
2009
Springer
15 years 7 months ago
2009
Springer
A model-free, case-based learning and control algorithm called S-learning is described as implemented in a simulation of a light-seeking mobile robot. S-learning demonstrated learn...