2542 search results - page 259 / 509 » One step ahead |
155
click to vote
JAR
2006
15 years 6 months ago
2006
Otter-lambda is Otter modified by adding code to implement an algorithm for lambda unification. Otter is a resolution-based, clause-language first-order prover that accumulates de...
178
click to vote
SIAMSC
2008
15 years 6 months ago
2008
Asymptotic linear stability is studied for stochastic differential equations (SDEs) that incorporate Poisson-driven jumps and their numerical simulation using Eulertype discretisa...
177
click to vote
BMCBI
2005
2005
MicroGen: a MIAME compliant web system for microarray experiment information and workflow management
15 years 6 months ago
Background: Improvements of bio-nano-technologies and biomolecular techniques have led to increasing production of high-throughput experimental data. Spotted cDNA microarray is on...
247
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Our approach to Task 1A was inspired by Tanabe and Wilbur's ABGene system [1,2]. Like Tanabe and Wilbur, we approached the problem as one of part-of-speech taggin...
177
click to vote
CCR
2005
15 years 6 months ago
2005
A recent paper [8] presented methods for several steps along the road to synthesis of realistic traffic matrices. Such synthesis is needed because traffic matrices are a crucial i...