279 search results - page 33 / 56 » Dynamic and Selective Combination of Extensions in Component... |
LISP
2008
14 years 11 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
108
click to vote
TSMC
2008
14 years 11 months ago
2008
In this paper, we present an extensive study of 3-D face recognition algorithms and examine the benefits of various score-, rank-, and decision-level fusion rules. We investigate f...
171
click to vote
SLS
2009
Springer
15 years 4 months ago
2009
Springer
The Multidimensional Assignment Problem (MAP or s-AP in the case of s dimensions) is an extension of the well-known assignment problem. The most studied case of MAP is 3-AP, though...
ASPLOS
2012
ACM
13 years 7 months ago
2012
ACM
Disciplined approximate programming lets programmers declare which parts of a program can be computed approximately and consequently at a lower energy cost. The compiler proves st...
104
click to vote
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
– In this paper, we present a general mathematical foundation of hormone-inspired control for the selfreconfigurable robotic system. Problem considered here is the lack of a math...