Sciweavers

57 search results - page 8 / 12
» What Basis for Genetic Dynamics
Sort
View
AOSD
2003
ACM
14 years 27 days ago
Aspects and polymorphism in AspectJ
There are two important points of view on inclusion or subtype polymorphism in object-oriented programs, namely polymorphic access and dynamic dispatch. These features are essenti...
Erik Ernst, David H. Lorenz
JAR
2007
132views more  JAR 2007»
13 years 7 months ago
Visualizing SAT Instances and Runs of the DPLL Algorithm
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...
Carsten Sinz
BMCBI
2007
103views more  BMCBI 2007»
13 years 7 months ago
eQTL Viewer: visualizing how sequence variation affects genome-wide transcription
Background: Expression Quantitative Trait Locus (eQTL) mapping methods have been used to identify the genetic basis of gene expression variations. To map eQTL, thousands of expres...
Wei Zou, David L. Aylor, Zhao-Bang Zeng
CL
2000
Springer
13 years 12 months ago
Logic, Knowledge Representation, and Bayesian Decision Theory
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
David Poole
JLP
2006
155views more  JLP 2006»
13 years 7 months ago
A formally grounded software specification method
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
Christine Choppy, Gianna Reggio