Sciweavers

2131 search results - page 53 / 427
» Stochastic Process Creation
Sort
View
IANDC
2006
117views more  IANDC 2006»
13 years 11 months ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons
MOR
2007
149views more  MOR 2007»
13 years 10 months ago
LP Rounding Approximation Algorithms for Stochastic Network Design
Real-world networks often need to be designed under uncertainty, with only partial information and predictions of demand available at the outset of the design process. The field ...
Anupam Gupta, R. Ravi, Amitabh Sinha
IADIS
2004
14 years 12 days ago
Designing a personalized E-learning experience using learning objects
This paper aims to provide an experimental vision of the process of course creation using learning objects obtained in the <e-aula> project, a pilot e-learning system concei...
Pilar Sancho, Borja Manero, Baltasar Fernán...
DAWAK
2001
Springer
14 years 3 months ago
Knowledge Management in Heterogeneous Data Warehouse Environments
: This paper addresses issues related to Knowledge Management in the context of heterogeneous data warehouse environments. The traditional notion of data warehouse is evolving into...
Larry Kerschberg
ECAI
2008
Springer
14 years 24 days ago
WikiTaxonomy: A Large Scale Knowledge Resource
We present a taxonomy automatically generated from the system of categories in Wikipedia. Categories in the resource are identified as either classes or instances and included in a...
Simone Paolo Ponzetto, Michael Strube