Sciweavers

2664 search results - page 477 / 533
» Theory of processes
Sort
View
AAI
2005
166views more  AAI 2005»
14 years 10 months ago
Interactive Knowledge Construction in the Collaborative Building of an Encyclopedia
1 One of the major challenges of Applied Artificial Intelligence is to provide environments where high level human activities like learning, constructing theories or performing exp...
Philippe Lemoisson, Stefano A. Cerri
JCB
2007
145views more  JCB 2007»
14 years 10 months ago
Confounding Factors in HGT Detection: Statistical Error, Coalescent Effects, and Multiple Solutions
Prokaryotic organisms share genetic material across species boundaries by means of a process known as horizontal gene transfer (HGT). This process has great significance for unde...
Cuong Than, Derek A. Ruths, Hideki Innan, Luay Nak...
AIR
2004
113views more  AIR 2004»
14 years 10 months ago
Class Noise vs. Attribute Noise: A Quantitative Study
Real-world data is never perfect and can often suffer from corruptions (noise) that may impact interpretations of the data, models created from the data and decisions made based on...
Xingquan Zhu, Xindong Wu
IJCV
1998
238views more  IJCV 1998»
14 years 10 months ago
Feature Detection with Automatic Scale Selection
The fact that objects in the world appear in different ways depending on the scale of observation has important implications if one aims at describing them. It shows that the not...
Tony Lindeberg
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
14 years 9 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier