Sciweavers

3053 search results - page 159 / 611
» A Logic of Abstract Argumentation
Sort
View
JOLLI
2002
74views more  JOLLI 2002»
15 years 6 months ago
Referent Systems and Relational Grammar
Abstract. Relational Grammar (RG) was introduced in the 70's as a theory of grammatical relations and relation change, for example, passivization, dative shift, and raising. F...
Marcus Kracht
CICLING
2010
Springer
15 years 3 months ago
Emotion Holder for Emotional Verbs - The Role of Subject and Syntax
Abstract. Human-like holder plays an important role in identifying actual emotion expressed in text. This paper presents a baseline followed by syntactic approach for capturing emo...
Dipankar Das, Sivaji Bandyopadhyay
MOC
2011
15 years 1 months ago
An optimal adaptive mixed finite element method
Abstract. Various applications in uid dynamics and computational continuum mechanics motivate the development of reliable and ecient adaptive algorithms for mixed nite element m...
Carsten Carstensen, Hella Rabus
AGI
2011
14 years 10 months ago
Real-World Limits to Algorithmic Intelligence
Abstract. Recent theories of universal algorithmic intelligence, combined with the view that the world can be completely specified in mathematical terms, have led to claims about ...
Leo Pape, Arthur Kok
CTRSA
2011
Springer
189views Cryptology» more  CTRSA 2011»
14 years 10 months ago
Ideal Key Derivation and Encryption in Simulation-Based Security
Abstract. Many real-world protocols, such as SSL/TLS, SSH, IPsec, IEEE 802.11i, DNSSEC, and Kerberos, derive new keys from other keys. To be able to analyze such protocols in a com...
Ralf Küsters, Max Tuengerthal