3914 search results - page 381 / 783 » Automating SLA modeling |
208
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
141
click to vote
GIS
2009
ACM
16 years 1 months ago
2009
ACM
Time geography uses space-time volumes to represent the possible locations of a mobile agent over time in a x-y-t space. Space-time volumes are qualitative statements, enabling qu...
202
click to vote
ILP
2007
Springer
16 years 29 days ago
2007
Springer
Research over the past several decades in learning logical and probabilistic models has greatly increased the range of phenomena that machine learning can address. Recent work has ...
219
click to vote
ILP
2007
Springer
16 years 29 days ago
2007
Springer
Stochastically searching the space of candidate clauses is an appealing way to scale up ILP to large datasets. We address an approach that uses a Bayesian network model to adaptive...
213
click to vote
LPNMR
2007
Springer
16 years 29 days ago
2007
Springer
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...