4814 search results - page 585 / 963 » Combining abstract interpreters |
160
click to vote
DSN
2003
IEEE
16 years 2 days ago
2003
IEEE
A hierarchical modeling framework for the dependability evaluation of Internet-based applications is presented and illustrated on a travel agency example. Modeling is carried out ...
170
click to vote
ICDM
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract. We present a new distributed association rule mining (D-ARM) algorithm that demonstrates superlinear speed-up with the number of computing nodes. The algorithm is the fi...
188
click to vote
ICRA
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract— In this paper, we present an approach to obstacle avoidance for a group of unmanned vehicles moving in formation. The goal of the group is to move through a partially u...
181
click to vote
KBSE
2003
IEEE
16 years 1 days ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
170
click to vote
ICAIL
2003
ACM
16 years 1 days ago
2003
ACM
In this paper, we introduce IBP, an algorithm that combines g with an abstract domain model and case-based reasoning techniques to predict the outcome of case-based legal argument...