2702 search results - page 357 / 541 » Practically Applicable Formal Methods |
146
click to vote
CCE
2005
15 years 2 months ago
2005
Armed with increasingly fast supercomputers and greater knowledge of the molecular mechanisms of gene expression, it is now practical to numerically simulate complex networks of r...
113
click to vote
CGF
2004
15 years 2 months ago
2004
Light source animation is a particularly hard field of real-time global illumination algorithms since moving light sources result in drastic illumination changes and make coherenc...
CORR
2004
Springer
15 years 2 months ago
2004
Springer
This report defines various operations and describes algorithms for weighted multi-tape automata (WMTAs). It presents, among others, a new approach to multi-tape intersection, mea...
122
click to vote
PAMI
2002
15 years 2 months ago
2002
Factorization algorithms for recovering structure and motion from an image stream have many advantages, but they usually require a set of well tracked features. Such a set is in g...
125
click to vote
TCAD
2002
15 years 2 months ago
2002
Interconnect optimization for VLSI circuits has received wide attention. To model routing surfaces, multiple circuit layers are freabstracted as a single rectilinear plane, ignori...