Sciweavers

2880 search results - page 196 / 576
» context 2007
Sort
View
TBILLC
2007
Springer
15 years 11 months 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
15 years 11 months 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
15 years 11 months 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
141
Voted
UM
2007
Springer
15 years 11 months 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
15 years 11 months 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...