1364 search results - page 242 / 273 » Comparative Branching-Time Semantics |
118
click to vote
ICDM
2010
IEEE
14 years 12 months ago
2010
IEEE
Whenever a dataset has multiple discrete target variables, we want our algorithms to consider not only the variables themselves, but also the interdependencies between them. We pro...
128
click to vote
LPAR
2010
Springer
14 years 12 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
138
click to vote
MEMOCODE
2010
IEEE
14 years 12 months ago
2010
IEEE
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
135
click to vote
MICCAI
2010
Springer
14 years 12 months ago
2010
Springer
Modeling and analyzing surgeries based on signals that are obtained automatically from the operating room (OR) is a field of recent interest. It can be valuable for analyzing and u...
164
click to vote
QEST
2010
IEEE
14 years 12 months 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...