3104 search results - page 483 / 621 » Using quantitative analysis to implement autonomic IT system... |
159
click to vote
KDD
1998
ACM
15 years 8 months ago
1998
ACM
1 The number and the size of spatial databases, e.g. for geomarketing, traffic control or environmental studies, are rapidly growing which results in an increasing need for spatial...
131
Voted
AIPS
2007
15 years 7 months ago
2007
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
137
click to vote
FORTE
2004
15 years 6 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
137
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
140
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Vision based tracking of an object using the ideas of perspective projection inherently consists of nonlinearly modelled measurements although the underlying dynamic system that en...