8228 search results - page 1260 / 1646 » Structural Logical Relations |
226
Voted
DESIRE
2010
15 years 17 days ago
2010
The field of interaction design encompasses a variety of methods for fostering innovation and creativity. In this paper, we present a selection of such methods that scaffold ideat...
125
click to vote
INTERSPEECH
2010
15 years 13 days ago
2010
This paper investigates how rising intonation affects the interpretation of cue words in dialogue. Both cue words and rising intonation express a range of speaker attitudes like u...
168
Voted
JAISE
2010
15 years 13 days ago
2010
This paper makes a number of contributions to the field of requirements analysis for Smart Homes. It introduces Use Cases as a tool for exploring the responsibilities of Smart Home...
120
click to vote
JLP
2010
15 years 12 days ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
117
click to vote
MA
2010
Springer
15 years 12 days ago
2010
Springer
Tail dependence and conditional tail dependence functions describe, respectively, the tail probabilities and conditional tail probabilities of a copula at various relative scales....