Sciweavers

6253 search results - page 421 / 1251
» Use Case Modeling Guidelines
Sort
View
AAAI
2006
15 years 6 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
CRIWG
2004
15 years 6 months ago
A Model for a Collaborative Recommender System for Multimedia Learning Material
In a cluster of many servers containing heterogeneous multimedia learning material and serving users with different backgrounds (e.g. language, interests, previous knowledge, hardw...
Nelson A. Baloian, Patricio Galdames, César...
TPDS
2008
76views more  TPDS 2008»
15 years 4 months ago
How to Choose a Timing Model
When employing a consensus algorithm for state machine replication, should one optimize for the case that all communication links are usually timely, or for fewer timely links? Do...
Idit Keidar, Alexander Shraer
FMSD
1998
60views more  FMSD 1998»
15 years 4 months ago
The General Product Machine: a New Model for Symbolic FSM Traversal
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Pa...
ESA
2007
Springer
100views Algorithms» more  ESA 2007»
15 years 11 months ago
Radix Sorting with No Extra Space
It is well known that n integers in the range [1, nc ] can be sorted in O(n) time in the RAM model using radix sorting. More generally, integers in any range [1, U] can be sorted i...
Gianni Franceschini, S. Muthukrishnan, Mihai Patra...