Sciweavers

3446 search results - page 275 / 690
» A Reasoning Algorithm for pD*
Sort
View
FASE
2009
Springer
15 years 10 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
RSCTC
2000
Springer
126views Fuzzy Logic» more  RSCTC 2000»
15 years 10 months ago
Evolutionary Parsing for a Probabilistic Context Free Grammar
Abstract. Classic parsing methods are based on complete search techniques to find the different interpretations of a sentence. However, the size of the search space increases expon...
Lourdes Araujo
AAAI
2007
15 years 9 months ago
Unscented Message Passing for Arbitrary Continuous Variables in Bayesian Networks
Since Bayesian network (BN) was introduced in the field of artificial intelligence in 1980s, a number of inference algorithms have been developed for probabilistic reasoning. Ho...
Wei Sun, Kuo-Chu Chang
ATAL
2008
Springer
15 years 8 months ago
Flexible service provisioning with advance agreements
In this paper, we develop a novel algorithm that allows service consumer agents to automatically select and provision service provider agents for their workflows in highly dynamic...
Sebastian Stein, Nicholas R. Jennings, Terry R. Pa...
VG
2003
15 years 8 months ago
Cell Projection of Convex Polyhedra
Finite element methods commonly use unstructured grids as the computational domain. As a matter of fact, the volume visualization of these unstructured grids is a time consuming t...
Stefan Röttger, Thomas Ertl