1213 search results - page 124 / 243 » Traceability for System Families |
SAS
2000
Springer
15 years 4 months ago
2000
Springer
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...
114
Voted
BIOCOMP
2008
15 years 2 months ago
2008
Computational analyses of protein structure-function relationships have traditionally been based on sequence homology, fold family analysis and 3D motifs/templates. Previous struct...
104
Voted
LREC
2008
15 years 2 months ago
2008
In aiming at research and development on machine translation, we produced a test collection for Japanese-English machine translation in the seventh NTCIR Workshop. This paper desc...
94
Voted
DGO
2003
15 years 2 months ago
2003
New technology in knowledge discovery and data mining (KDD) make it possible to extract valuable information from operational data. Private businesses already use the technology f...
98
Voted
FOCM
2002
15 years 15 days ago
2002
Given an ordinary differential equation on a homogeneous manifold, one can construct a "geometric integrator" by determining a compatible ordinary differential equation ...