580 search results - page 58 / 116 » Some Computational Aspects of distance-sat |
BIRTHDAY
2010
Springer
13 years 7 months ago
2010
Springer
Yuri Gurevich made many varied and deep contributions to logic for computer science. Logic provides also the theoretical foundation of database systems. Hence, it is almost unavoid...
IJCNN
2006
IEEE
14 years 4 months ago
2006
IEEE
—Computational models of development aim to describe the mechanisms that underlie the acquisition of new skills or the emergence of new capabilities. The strength of a model is j...
ACMSE
2008
ACM
13 years 12 months ago
2008
ACM
As computers become increasingly integral to daily life there is a need for computer scientists to focus on the user. This, in part, entails developing applications that have inte...
ICCV
2005
IEEE
14 years 12 months ago
2005
IEEE
This paper tackles an important aspect of the variational problems involving active contours, which has been largely overlooked so far: the optimization by gradient flows. Classic...
HPCA
2009
IEEE
14 years 10 months ago
2009
IEEE
Some instructions have more impact on processor performance than others. Identification of these critical instructions can be used to modify and improve instruction processing. Pr...