7049 search results - page 388 / 1410 » Data Abstraction for CSP-OZ |
202
click to vote
LANMR
2004
15 years 8 months ago
2004
Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...
158
click to vote
ESANN
2000
15 years 8 months ago
2000
Abstract. A prediction scheme for spatio-temporal time series is presented that is based on reconstructed local states. As a numerical example the ev olution of a Kuramoto-Sivashin...
181
Voted
AMW
2009
15 years 8 months ago
2009
Abstract. The chase procedure, an algorithm proposed 25+ years ago to fix constraint violations in database instances, has been successfully applied in a variety of contexts, such ...
192
click to vote
GI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract: Especially data on social network services (SNS) is linked to online personas. Our analysis has shown that no reliably solution for origin authentication is in widespread...
150
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Current peer-to-peer (p2p) systems place the burden of application-level query execution on the application developer. Not only do application developers lack the experti...