10890 search results - page 407 / 2178 » Automatic Complexity Analysis |
195
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Gene Ontology (GO) characterizes and categorizes the functions of genes and their products according to biological processes, molecular functions and cellular componen...
199
click to vote
CC
2003
Springer
16 years 1 days ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
211
click to vote
FM
2003
Springer
16 years 1 days ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
186
click to vote
IIS
2001
15 years 8 months ago
2001
The paper presents computer system, named Stock Market Electronic Expert (SMEE), for Stock Market Analysis. It is developed as friendly, useful and credible computer program giving...
138
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper, a multi-camera architecture is presented for heterogeneous targets analysis and tracking. The proposed system can be switched in various configurations enabling aut...