Sciweavers

848 search results - page 92 / 170
» A New Framework For Itemset Generation
Sort
View
FORMATS
2008
Springer
13 years 10 months ago
Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
Louis-Marie Traonouez, Didier Lime, Olivier H. Rou...
IJCAI
2007
13 years 10 months ago
Integration of Hybrid Bio-Ontologies using Bayesian Networks for Knowledge Discovery
This paper describes how high level biological knowledge obtained from ontologies such as the Gene Ontology (GO) can be integrated with low level information extracted from a Baye...
Kenneth McGarry, Sheila Garfield, Nick Morris, Ste...
CLIN
2004
13 years 10 months ago
Extended Lexical Units in Dutch
The paper describes ongoing empirical research into a fundamental problem of linguistics, viz. the architecture of grammar, or the division of labor between lexicon and grammar. W...
Michaela Poß, Ton van der Wouden
ECIS
2004
13 years 10 months ago
Fight risk with risk: reflexivity of risk and globalization in IS
In this paper, we address the following research question: "How can we understand the nature of risk in IS projects in the context of globalization?" Based on a case stu...
Edoardo Jacucci, Miria Grisot, Ole Hanseth
GAMEON
2001
13 years 10 months ago
Stratego Expert System Shell
The field of multi-agent systems is an active area of research. One of the possible applications of a multi-agent system is the use of distributed techniques for problem solving. ...
Caspar Treijtel, Léon J. M. Rothkrantz