Sciweavers

1483 search results - page 248 / 297
» Integrated Modeling of Business Value and Software Processes
Sort
View
ICFEM
2009
Springer
15 years 12 months ago
Approximate Model Checking of PCTL Involving Unbounded Path Properties
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
Samik Basu, Arka P. Ghosh, Ru He
IUI
2003
ACM
15 years 10 months ago
A model of textual affect sensing using real-world knowledge
This paper presents a novel way for assessing the affective qualities of natural language and a scenario for its use. Previous approaches to textual affect sensing have employed k...
Hugo Liu, Henry Lieberman, Ted Selker
131
Voted
ICWE
2003
Springer
15 years 10 months ago
Hera: Development of Semantic Web Information Systems
Abstract. As a consequence of the success of the Web, methodologies for information system development need to consider systems that use the Web paradigm. These Web Information Sys...
Geert-Jan Houben, Peter Barna, Flavius Frasincar, ...
ICML
1996
IEEE
16 years 6 months ago
Discretizing Continuous Attributes While Learning Bayesian Networks
We introduce a method for learning Bayesian networks that handles the discretization of continuous variables as an integral part of the learning process. The main ingredient in th...
Moisés Goldszmidt, Nir Friedman
GD
1999
Springer
15 years 9 months ago
Centrality in Policy Network Drawings
—We introduce a network visualization technique that supports an analytical method applied in the social sciences. Policy network analysis is an approach to study policy making s...
Ulrik Brandes, Patrick Kenis, Dorothea Wagner