15792 search results - page 217 / 3159 » Computational Abstraction Steps |
191
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...
254
click to vote
TCSV
2010
15 years 1 months ago
2010
Abstract--Real-time stereo vision is attractive in many applications like robot navigation and 3D scene reconstruction. Data parallel platforms, e.g. GPU, is often used for real-ti...
261
click to vote
TCSV
2010
15 years 1 months ago
2010
Abstract--This paper proposes a no-reference quality assessment metric for digital video subject to H.264/AVC encoding. The proposed metric comprises two main steps: coding error e...
186
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Extended Argumentation Frameworks (EAFs) are a proposed formalism that develop abstract argumentation frameworks (AFs) by allowing attacks between arguments to be attacked themselv...
158
click to vote
JSC
2002
15 years 6 months ago
2002
, Allen C.) see Innovations in teaching abstract algebra, 2003b:00019 Littlewood, D. E. The skeleton key of mathematics. (English summary) 2003j:01046 Magnin, Louis Quelques questi...