Sciweavers

1128 search results - page 29 / 226
» Classical Natural Deduction
Sort
View
MLDM
2009
Springer
14 years 4 months ago
A Two-fold PCA-Approach for Inter-Individual Recognition of Emotions in Natural Walking
This paper describes recognition of emotions of an unkown person during natural walking. As gait data is redundant, high dimensional and variable, effective feature extraction is ...
Michelle Karg, Robert Jenke, Kolja Kühnlenz, ...
ASM
2003
ASM
14 years 3 months ago
ASMs versus Natural Semantics: A Comparison with New Insights
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
Sabine Glesner
ACL
2003
13 years 11 months ago
Hierarchical Directed Acyclic Graph Kernel: Methods for Structured Natural Language Data
This paper proposes the “Hierarchical Directed Acyclic Graph (HDAG) Kernel” for structured natural language data. The HDAG Kernel directly accepts several levels of both chunk...
Jun Suzuki, Tsutomu Hirao, Yutaka Sasaki, Eisaku M...
IPPS
2002
IEEE
14 years 2 months ago
An Approach to Compositional Model Checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
Hector A. Andrade, Beverly Sanders
FLAIRS
2007
14 years 5 days ago
Deriving Chronological Information from Texts through a Graph-Based Algorithm
We propose a method of deriving chronological order of events in natural language texts by constraining temporal boundaries associated to events and projecting them on a timeline....
Cosmin Adrian Bejan