Sciweavers

6906 search results - page 247 / 1382
» An algorithm for modelling key terms
Sort
View
ICAI
2007
15 years 8 months ago
A Graphical Game Model of Drug Binding
Abstract Drug-protein binding is the reversible interaction of drugs with proteins in an organism and is vital in helping the body reject invading pathogenic organisms. Predicting ...
Christina Boucher, Maja Omanovic
AUTOMATICA
2006
66views more  AUTOMATICA 2006»
15 years 6 months ago
Robust residual generation for diagnosis including a reference model for residual behavior
: The main goal when synthesizing robust residual generators, for diagnosis and supervision, is to attenuate influence from model uncertainty on the residual while keeping fault de...
Erik Frisk, Lars Nielsen
ICCCI
2009
Springer
16 years 1 months ago
A Formal Model for Epistemic Interactions
The conceptual world of AI is inhabited by a number of epistemic puzzles whose role is to provide a test harness environment for various methods and algorithms. In our paper we foc...
Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robe...
ICTAC
2005
Springer
16 years 2 days ago
Symbolic Model Checking of Finite Precision Timed Automata
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
Rongjie Yan, Guangyuan Li, Zhisong Tang
HIS
2008
15 years 8 months ago
Implicit User Modelling Using Hybrid Meta-Heuristics
The requirements imposed on information retrieval systems are increasing steadily. The vast number of documents in today's large databases and especially on World Wide Web ca...
Pavel Krömer, Václav Snásel, Ja...