28888 search results - page 5414 / 5778 » Computability and complexity in analysis |
147
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Product customization has become a commonplace topic in the last few years. Cars can be equipped with numerous gadgets, cell phones come in different colours and so on. In all th...
209
click to vote
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
Recognizing human action in non-instrumented video is a challenging task not only because of the variability produced by general scene factors like illumination, background, occlu...
146
Voted
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
178
Voted
IEEEPACT
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--Version management, one of the key design dimensions of Hardware Transactional Memory (HTM) systems, defines where and how transactional modifications are stored. Current...
173
click to vote
ECEASST
2010
15 years 2 months ago
2010
: The decision of using existing software components versus building from scratch custom software is one of the most complex and important choices of the entire development/integra...