Sciweavers

3429 search results - page 399 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
UAI
1997
15 years 6 months ago
Object-Oriented Bayesian Networks
Bayesian networks provide a modeling language and associated inference algorithm for stochastic domains. They have been successfully applied in a variety of medium-scale applicati...
Daphne Koller, Avi Pfeffer
DOOD
1995
Springer
124views Database» more  DOOD 1995»
15 years 8 months ago
Querying Semistructured Heterogeneous Information
Abstract. Semistructured data has no absolute schema xed in advance and its structure may be irregular or incomplete. Such data commonly arises in sources that do not impose a rigi...
Dallan Quass, Anand Rajaraman, Yehoshua Sagiv, Jef...
PLDI
2006
ACM
15 years 10 months ago
Combining type-based analysis and model checking for finding counterexamples against non-interference
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa
EDBT
2010
ACM
145views Database» more  EDBT 2010»
15 years 8 months ago
Splash: ad-hoc querying of data and statistical models
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...
Lujun Fang, Kristen LeFevre
CASCON
2010
204views Education» more  CASCON 2010»
14 years 11 months ago
Effective collaboration and consistency management in business process modeling
ion and giving them a medium to express and implement change. One of the keys to achieve agility for creating business processes depends on close interaction between IT department ...
Moises Castelo Branco, Yingfei Xiong, Krzysztof Cz...