Sciweavers

9006 search results - page 1263 / 1802
» Modeling Software
Sort
View
IJDE
2007
105views more  IJDE 2007»
15 years 7 months ago
Rigorous Development of Automated Inconsistency Checks for Digital Evidence Using the B Method
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
Pavel Gladyshev, Andreas Enbacka
EUROGP
2004
Springer
109views Optimization» more  EUROGP 2004»
16 years 18 days ago
Extending Grammatical Evolution to Evolve Digital Surfaces with Genr8
Abstract. Genr8 is a surface design tool for architects. It uses a grammarbased generative growth model that produces surfaces with an organic quality. Grammatical Evolution is use...
Martin Hemberg, Una-May O'Reilly
TASE
2008
IEEE
15 years 6 months ago
An Intelligent Online Monitoring and Diagnostic System for Manufacturing Automation
Condition monitoring and fault diagnosis in modern manufacturing automation is of great practical significance. It improves quality and productivity, and prevents damage to machine...
Ming Ge, Yangsheng Xu, Ruxu Du
ECAI
2004
Springer
16 years 18 days ago
Guiding a Theorem Prover with Soft Constraints
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
John K. Slaney, Arnold Binas, David Price
BMCBI
2005
152views more  BMCBI 2005»
15 years 7 months ago
Improved profile HMM performance by assessment of critical algorithmic features in SAM and HMMER
Background: Profile hidden Markov model (HMM) techniques are among the most powerful methods for protein homology detection. Yet, the critical features for successful modelling ar...
Markus Wistrand, Erik L. L. Sonnhammer
« Prev « First page 1263 / 1802 Last » Next »