3914 search results - page 300 / 783 » Automating SLA modeling |
181
click to vote
KR
2004
Springer
16 years 1 days ago
2004
Springer
To learn to behave in highly complex domains, agents must represent and learn compact models of the world dynamics. In this paper, we present an algorithm for learning probabilist...
157
click to vote
HT
2000
ACM
15 years 11 months ago
2000
ACM
We propose a method (APHID) that assists an instructional designer to define format, structure and sequence within an instructional hypermedia application. Our method uses concept...
152
click to vote
IJBRA
2006
15 years 6 months ago
2006
: This paper proposes a novel statistical evaluation model for automated protein NMR sequential resonance assignment. It can be bound to any assignment program and provides confide...
189
click to vote
IPMI
2007
Springer
16 years 7 months ago
2007
Springer
Automated medical image segmentation is a challenging task that benefits from the use of effective image appearance models. In this paper, we compare appearance models at three reg...
159
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...