Sciweavers

1634 search results - page 167 / 327
» Reasoning about Knowledge Using Rough Sets
Sort
View
101
Voted
TASE
2009
IEEE
15 years 7 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
98
Voted
IRI
2007
IEEE
15 years 7 months ago
ModelML: a Markup Language for Automatic Model Synthesis
Domain-specific modeling has become a popular way of designing and developing systems. It generally involves a systematic use of a set of object-oriented models to represent vari...
Cong Zhang, Amol Bakshi, Viktor K. Prasanna
121
Voted
ATAL
2004
Springer
15 years 6 months ago
Towards the Application of Argumentation-Based Dialogues for Education
This paper describes our work constructing a generalized framework for modeling multi agent interactions in education-related applications. Historically, interactive learning syst...
Elizabeth Sklar, Simon Parsons
104
Voted
BMCBI
2010
148views more  BMCBI 2010»
15 years 23 days ago
Applying unmixing to gene expression data for tumor phylogeny inference
Background: While in principle a seemingly infinite variety of combinations of mutations could result in tumor development, in practice it appears that most human cancers fall int...
Russell Schwartz, Stanley Shackney
106
Voted
IEEECIT
2009
IEEE
15 years 7 months ago
Applying Collective Intelligence for Search Improvement on Thai Herbal Information
— Knowledge about herbal medicine can be contributed from experts in several cultures. With the conventional techniques, it is hard to find the way which the experts can build a ...
Verayuth Lertnattee, Sinthop Chomya, Thanaruk Thee...