3573 search results - page 81 / 715 » Reasoning about Codata |
150
Voted
JAIR
1998
15 years 2 months ago
1998
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
149
Voted
IVC
2008
15 years 2 months ago
2008
A framework for the logical and statistical analysis and annotation of dynamic scenes containing occlusion and other uncertainties is presented. This framework consists of three e...
114
Voted
ECOI
2010
15 years 1 months ago
2010
We describe a semantic data validation tool that is capable of observing incoming real-time sensor data and performing reasoning against a set of rules specific to the scientific d...
171
Voted
QEST
2010
IEEE
15 years 16 days ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
155
Voted
EUROPAR
2009
Springer
15 years 13 days ago
2009
Springer
Unstructured overlay networks for peer-to-peer applications combined with stochastic algorithms for clustering and resource location are attractive due to low-maintenance costs and...