Sciweavers

620 search results - page 56 / 124
» Methods and Practical Issues in Evaluating Alignment Techniq...
Sort
View
IJSI
2008
115views more  IJSI 2008»
15 years 1 months ago
Towards Knowledge Acquisition from Semi-Structured Content
Abstract A rich family of generic Information Extraction (IE) techniques have been developed by researchers nowadays. This paper proposes WebKER, a system for automatically extract...
Xi Bai, Jigui Sun, Haiyan Che, Lian Shi
BMCBI
2010
155views more  BMCBI 2010»
14 years 11 months ago
BrEPS: a flexible and automatic protocol to compute enzyme-specific sequence profiles for functional annotation
Background: Models for the simulation of metabolic networks require the accurate prediction of enzyme function. Based on a genomic sequence, enzymatic functions of gene products a...
Constantin Bannert, A. Welfle, C. aus dem Spring, ...
HYBRID
1997
Springer
15 years 5 months ago
Controller Scheduling Using Neural Networks: Implementation and Experimental Results
This paper presents the results of simulation and control experiments using a recently proposed method for real-time switching among a pool of controllers. The switching strategy ...
Enrique D. Ferreira, Bruce H. Krogh
ECTEL
2006
Springer
15 years 5 months ago
Emergent Knowledge Artifacts for Supporting Trialogical E-Learning
Abstract. This paper elaborates on scenarios for collaborative knowledge creation in the spirit of the trialogical learning paradigm. According to these scenarios the group knowled...
Yannis Tzitzikas, Vassilis Christophides, Giorgos ...
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 3 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...