Sciweavers

1124 search results - page 131 / 225
» Refined quorum systems
Sort
View
HICSS
1995
IEEE
110views Biometrics» more  HICSS 1995»
15 years 10 months ago
Reliability analysis of CSP specifications using Petri nets and Markov processes
In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween...
Krishna M. Kavi, Frederick T. Sheldon, Behrooz Shi...
ECML
1991
Springer
15 years 10 months ago
A Multistrategy Learning Approach to Domain Modeling and Knowledge Acquisition
This paper presents an approach to domain modeling and knowledge acquisition that consists of a gradual and goal-driven improvement of an incomplete domain model provided by a hum...
Gheorghe Tecuci
LREC
2008
114views Education» more  LREC 2008»
15 years 7 months ago
Bilingual Text Classification using the IBM 1 Translation Model
Manual categorisation of documents is a time-consuming task that has been significantly alleviated with the deployment of automatic and machine-aided text categorisation systems. ...
Jorge Civera, Alfons Juan-Císcar
FLAIRS
2004
15 years 7 months ago
Structure Discovery from Sequential Data
In this paper we describe I-Subdue, an extension to the Subdue graph-based data mining system. I-Subdue operates over sequentially received relational data to incrementally discov...
Jeffrey Coble, Diane J. Cook, Lawrence B. Holder, ...
FLAIRS
2001
15 years 7 months ago
User-Agent Interactions in Mixed-Initiative Learning
Mixed-initiative learning integrates complementary human and automated reasoning, taking advantage of their respective reasoning styles and computational strengths in order to sol...
Dorin Marcu, Mihai Boicu, Gheorghe Tecuci