2989 search results - page 541 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
CHI
2007
ACM
15 years 10 months ago
2007
ACM
A theoretical framework for assessing the attractiveness of websites based on Adaptive Decision Making theory is introduced. The framework was developed into a questionnaire and u...
VLSID
2003
IEEE
15 years 10 months ago
2003
IEEE
In the previous work, the problem of nding gate delays to eliminate glitches has been solved by linear programs (LP) requiring an exponentially large number ofconstraints. By intr...
RECOMB
2004
Springer
15 years 10 months ago
2004
Springer
The prediction of translation initiation sites (TISs) in eukaryotic mRNAs has been a challenging problem in computational molecular biology. In this paper, we present a new algori...
SIGMOD
2004
ACM
15 years 10 months ago
2004
ACM
Existing methods for prediction in spatio-temporal databases assume that objects move according to linear functions. This severely limits their applicability, since in practice mo...
ICIAP
2005
ACM
15 years 10 months ago
2005
ACM
In this paper we describe a method for the reconstruction and visualization of functional models of monkey brains. Models are built through the registration of high resolution imag...