2556 search results - page 155 / 512 » The Triconnected Abstraction of Process Models |
291
click to vote
ILP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Many reinforcement learning domains are highly relational. While traditional temporal-difference methods can be applied to these domains, they are limited in their capaci...
194
click to vote
ICCS
2004
Springer
16 years 12 days ago
2004
Springer
FCA has been successfully applied to software engineering tasks such as source code analysis and class hierarchy re-organization. Most notably, FCA hematics behind the mechanism of...
208
Voted
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
182
Voted
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In analyzing diffusion magnetic resonance imaging, multitensor models address the limitations of the single diffusion tensor in situations of partial voluming and fiber c...
243
click to vote
ANTSW
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Ant algorithms are usually derived from a stochastic modeling based on some specific probability laws. We consider in this paper a full deterministic model of "logis...