Sciweavers

5599 search results - page 363 / 1120
» Abstract State Services
Sort
View
DEXA
2007
Springer
89views Database» more  DEXA 2007»
16 years 26 days ago
Dependency Management for the Preservation of Digital Information
Abstract. The notion of dependency is ubiquitous. This paper approaches this notion from the perspective of digital information preservation. At first, an abstract notion of modul...
Yannis Tzitzikas
BTW
2003
Springer
114views Database» more  BTW 2003»
15 years 12 months ago
Kontext-basierte Personalisierung von Web Services
Abstract: Web Services finden zunehmend im Business-To-Consumer-Bereich Verwendung. In diesem Umfeld ist der Kreis der Benutzer heterogen und sehr groß. Jeder hat seine eigene Vo...
Markus Keidl, Stefan Seltzsam, Christof König...
ILP
2007
Springer
16 years 26 days ago
Building Relational World Models for Reinforcement Learning
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...
Trevor Walker, Lisa Torrey, Jude W. Shavlik, Richa...
ESOP
2006
Springer
15 years 10 months ago
A Verification Methodology for Model Fields
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
K. Rustan M. Leino, Peter Müller
206
Voted
JIRS
2008
100views more  JIRS 2008»
15 years 6 months ago
Model-based Predictive Control of Hybrid Systems: A Probabilistic Neural-network Approach to Real-time Control
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
Bostjan Potocnik, Gasper Music, Igor Skrjanc, Boru...