20441 search results - page 3970 / 4089 » Locally Computable Structures |
185
Voted
ICCV
2009
IEEE
15 years 28 days 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...
131
click to vote
ICFEM
2009
Springer
15 years 28 days 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...
127
click to vote
CORR
2010
Springer
15 years 18 days ago
2010
Springer
In this paper we derive aggregate separation bounds, named after Davenport-MahlerMignotte (DMM), on the isolated roots of polynomial systems, specifically on the minimum distance ...
134
click to vote
ICCSA
2010
Springer
15 years 16 days ago
2010
Springer
Recently, it is one of the most challenging fields in software engineering for embedded software development, since the advancement of embedded technologies has made our life incre...
238
click to vote
ADHOC
2011
14 years 10 months ago
2011
Abstract—In traditional wireless sensor network (WSN) applications, energy efficiency is considered to be the most important concern whereas utilizing the use of bandwidth and m...