1260 search results - page 32 / 252 » From Domain Models to Architecture Frameworks |
146
click to vote
KIVS
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...
114
click to vote
CVPR
2008
IEEE
15 years 1 months ago
2008
IEEE
In this paper, we propose a novel learning-based face hallucination framework built in DCT domain, which can recover the high-resolution face image from a single lowresolution one...
101
click to vote
CAV
2005
Springer
15 years 5 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
120
click to vote
ILP
2007
Springer
15 years 6 months ago
2007
Springer
A recurrent question in the design of intelligent agents is how to assign degrees of beliefs, or subjective probabilities, to various events in a relational environment. In the sta...
101
click to vote
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...