Sciweavers

2253 search results - page 234 / 451
» The ComFoRT Reasoning Framework
Sort
View
104
Voted
PR
2010
163views more  PR 2010»
14 years 9 months ago
Optimal feature selection for support vector machines
Selecting relevant features for Support Vector Machine (SVM) classifiers is important for a variety of reasons such as generalization performance, computational efficiency, and ...
Minh Hoai Nguyen, Fernando De la Torre
77
Voted
ACL
2010
14 years 9 months ago
Modeling Norms of Turn-Taking in Multi-Party Conversation
Substantial research effort has been invested in recent decades into the computational study and automatic processing of multi-party conversation. While most aspects of conversati...
Kornel Laskowski
80
Voted
UTP
2010
14 years 8 months ago
Unifying Theories of Confidentiality
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
Michael J. Banks, Jeremy L. Jacob
AMSTERDAM
2009
14 years 8 months ago
Some New Observations on 'Because (of)'
Because (of) is ambiguous between a `reason' and a `plain cause' interpretation. Presenting a semantic analysis within the framework of Discourse Representation Theory, I...
Torgrim Solstad
101
Voted
AMSTERDAM
2009
14 years 8 months ago
Cumulative Readings of Every Do Not Provide Evidence for Events and Thematic Roles
An argument by Kratzer (2000) based on Schein (1986, 1993) does not conclusively show that events and thematic roles are necessary ingredients of the logical representation of natu...
Lucas Champollion