Sciweavers

1259 search results - page 139 / 252
» Use Cases, Actions, and Roles
Sort
View
AAAI
2006
15 years 7 months ago
Identification of Joint Interventional Distributions in Recursive Semi-Markovian Causal Models
This paper is concerned with estimating the effects of actions from causal assumptions, represented concisely as a directed graph, and statistical knowledge, given as a probabilit...
Ilya Shpitser, Judea Pearl
ECIS
2003
15 years 7 months ago
Do you know your terms? - A procedure model for terminology management
Due to the extensive development und use of information technology, a lot of companies gained access to vast internal and external information sources. Yet nonetheless, efficiency...
Stefan Kremer, Lutz Kolbe, Walter Brenner
ETS
2010
IEEE
130views Hardware» more  ETS 2010»
15 years 7 months ago
A distributed architecture to check global properties for post-silicon debug
Post-silicon validation and debug, or ensuring that software executes correctly on the silicon of a multi-processor system-on-chip (MPSOC) is complicated, as it involves checking g...
Erik Larsson, Bart Vermeulen, Kees Goossens
ENTCS
2006
125views more  ENTCS 2006»
15 years 6 months ago
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility
We compare the expressive power of Hoare (i.e., CSP style) and Milner (i.e., CCS style) synchronizations for defining graph transformations in a framework where edges can perform ...
Ivan Lanese, Ugo Montanari
JAIR
2007
79views more  JAIR 2007»
15 years 6 months ago
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting
We present a new algorithm for probabilistic planning with no observability. Our algorithm, called Probabilistic-FF, extends the heuristic forward-search machinery of Conformant-F...
Carmel Domshlak, Jörg Hoffmann