Sciweavers

2880 search results - page 196 / 576
» context 2007
Sort
View
TBILLC
2007
Springer
16 years 21 days ago
Implicatures of Irrelevant Answers and the Principle of Optimal Completion
Abstract. In this paper, we present a game theoretic account of a subclass of ‘relevance’ implicatures arising from irrelevant answers. We show that these phenomena can be expl...
Anton Benz
TSD
2007
Springer
16 years 21 days ago
A Study on Speech with Manifest Emotions
We present a study of the prosody – seen in a broader sense – that supports the theory of the interrelationship function of speech. “Pure emotions” are meant to show a rela...
Horia-Nicolai L. Teodorescu, Silvia Monica Feraru
TYPES
2007
Springer
16 years 21 days ago
Dependently Sorted Logic
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
João Filipe Belo
UM
2007
Springer
16 years 21 days ago
Driver Destination Models
Predictive models of destinations represent an opportunity in the context of the increasing availability and sophistication of in-car driving aids. We present analyses of drivers...
John Krumm, Eric Horvitz
WG
2007
Springer
16 years 21 days ago
The Complexity of Bottleneck Labeled Graph Problems
Abstract. We present hardness results, approximation heuristics, and exact algorithms for bottleneck labeled optimization problems arising in the context of graph theory. This long...
Refael Hassin, Jérôme Monnot, Danny S...