134 search results - page 19 / 27 » High-Performance Computing Tools for Modeling Evolution in E... |
EDOC
2004
IEEE
13 years 11 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
INFOCOM
1994
IEEE
14 years 1 days ago
1994
IEEE
In this paper, we introduce a deterministic fluid model and two stochastic traffic models for wireless networks. The setting is a highway with multiple entrances and exits. Vehicl...
JUCS
2008
13 years 8 months ago
2008
: The WWW is currently experiencing a revolutionary growth due to numerous emerging tools, techniques and concepts. Digital journals thus need to transform themselves to cope with ...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
We consider the problem of image comparison in order to match smooth surfaces under varying illumination. In a smooth surface nearby surface normals are highly correlated. We model...
BMCBI
2007
13 years 8 months ago
2007
Background: Remote homology detection is a challenging problem in Bioinformatics. Arguably, profile Hidden Markov Models (pHMMs) are one of the most successful approaches in addre...