1206 search results - page 169 / 242 » Concurrent Abstract Predicates |
126
click to vote
ERSHOV
2006
Springer
15 years 4 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
67
Voted
MICCAI
2003
Springer
16 years 1 months ago
2003
Springer
Abstract. We propose a method for automatically correcting the spherical topology of any segmentation under any digital connectivity. A multiple region growing process, concurrentl...
ICML
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper investigates the problem of automatically learning how to restructure the reward function of a Markov decision process so as to speed up reinforcement learning. We begi...
104
click to vote
VLSID
2004
IEEE
16 years 29 days ago
2004
IEEE
The design of any application on a configurable System-on-a-Chip (SoC) like Atmel's FPSLIC is subject to a lot of constraints stemming from requirements of the application an...
79
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...