11121 search results - page 400 / 2225 » Computing with Continuous Change |
187
click to vote
SIGCSE
2002
ACM
15 years 5 months ago
2002
ACM
In the Fall of 1999 the Center for Excellence in Undergraduate Teaching (CEUT) and the International Office at Virginia Tech provided a small grant to support the incorporation of...
152
click to vote
BMCBI
2004
15 years 5 months ago
2004
Background: Metabolic pathway analysis has been recognized as a central approach to the structural analysis of metabolic networks. The concept of elementary (flux) modes provides ...
144
click to vote
LICS
2007
IEEE
16 years 9 days ago
2007
IEEE
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...
169
click to vote
HPCS
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— In recent years our society has witnessed an unprecedented growth in computing power available to tackle important problems in science, engineering and medicine. For ex...
142
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
Recent years have witnessed increased interest in computing strongly correlated pairs in very large databases. Most previous studies have been focused on static data sets. However...