43264 search results - page 242 / 8653 » Comparing models of computation |
161
Voted
TIP
2008
15 years 3 months ago
2008
This paper addresses the construction of a novel efficient rotation-invariant texture retrieval method that is based on the alignment in angle of signatures obtained via a steerabl...
133
Voted
EUROCAST
2005
Springer
15 years 9 months ago
2005
Springer
After having designed control systems for real autonomous cars in an urban environment using straight lines as reference [2], we are now trying to build a fuzzy control system base...
139
Voted
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
138
Voted
VLSID
2005
IEEE
16 years 4 months ago
2005
IEEE
An accurate and efficient stacking effect macro-model for leakage power in sub-100nm circuits is presented in this paper. Leakage power, including subthreshold leakage power and ga...
139
Voted
SRDS
2007
IEEE
15 years 10 months ago
2007
IEEE
A proactive handling of faults requires that the risk of upcoming failures is continuously assessed. One of the promising approaches is online failure prediction, which means that...