2586 search results - page 128 / 518 » Automatic Abstraction for Congruences |
107
click to vote
SWQD
2012
13 years 5 months ago
2012
This manuscript proposes a guiding methodology to obtain a software system that supports the execution of the business processes existing within an organization. The methodology pr...
JCP
2008
14 years 10 months ago
2008
In this paper, we propose a model named Logical Markov Decision Processes with Negation for Relational Reinforcement Learning for applying Reinforcement Learning algorithms on the ...
MICCAI
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper introduces a novel groupwise data-driven algorithm for non-rigid registration. The motivation behind the algorithm is to enable the analysis of groups of regis...
PERCOM
2007
ACM
15 years 9 months ago
2007
ACM
MundoCore is a communication middleware specifically designed for the requirements of pervasive computing. To address the high degree of heterogeneity of platforms and networking ...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a method towards automatic structural synthesis of analog multiplier based on a hierarchilogy “super-topologyâ€, which is abstracted from the most standard ...