5378 search results - page 780 / 1076 » Base Logics in Argumentation |
138
click to vote
FDTC
2010
Springer
14 years 10 months ago
2010
Springer
Fault injections constitute a major threat to the security of embedded systems. The errors in the cryptographic algorithms have been shown to be extremely dangerous, since powerful...
123
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical doctrine that an idea has both an extension and an intension. In this paper we introduce an intens...
156
Voted
LPAR
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
102
Voted
CVPR
2005
IEEE
16 years 2 months ago
2005
IEEE
We address the issue of modelling facial expressions for realistic 3D avatar animation. We introduce a hierarchical decomposition of a human face into different components and mod...
187
click to vote
GIS
2004
ACM
16 years 1 months ago
2004
ACM
Motivated by the increasing need to handle complex multidimensional data in location-based data warehouses, this paper proposes a powerful data model that is able to capture the c...