Sciweavers

6693 search results - page 379 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
BMCBI
2005
84views more  BMCBI 2005»
15 years 6 months ago
A method of precise mRNA/DNA homology-based gene structure prediction
Background: Accurate and automatic gene finding and structural prediction is a common problem in bioinformatics, and applications need to be capable of handling non-canonical spli...
Alexander G. Churbanov, Mark Pauley, Daniel Quest,...
ISI
2008
Springer
15 years 6 months ago
Detecting Hidden Hierarchy in Terrorist Networks: Some Case Studies
This paper provides a novel algorithm to automatically detect the hidden hierarchy in terrorist networks. The algorithm is based on centrality measures used in social network analy...
Nasrullah Memon, Henrik Legind Larsen, David L. Hi...
WSC
2001
15 years 8 months ago
Database driven factory simulation: a proof-of-concept demonstrator
The paper presents a database-based method to reduce the development time and project lead-time for large discreteevent simulation models of entire factories. The database used to...
Lars G. Randell, Gunnar S. Bolmsjö
CIKM
2011
Springer
14 years 6 months ago
LogSig: generating system events from raw textual logs
Modern computing systems generate large amounts of log data. System administrators or domain experts utilize the log data to understand and optimize system behaviors. Most system ...
Liang Tang, Tao Li, Chang-Shing Perng
SAS
2005
Springer
118views Formal Methods» more  SAS 2005»
16 years 9 days ago
Inference of Well-Typings for Logic Programs with Application to Termination Analysis
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
Maurice Bruynooghe, John P. Gallagher, Wouter Van ...