Sciweavers

5066 search results - page 646 / 1014
» Spectra of structures and relations
Sort
View
JAISE
2010
124views Algorithms» more  JAISE 2010»
15 years 26 days ago
Exploring the responsibilities of single-inhabitant Smart Homes with Use Cases
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...
Paul Lyons, An Tran Cong, H. Joe Steinhauer, Steph...
JLP
2010
59views more  JLP 2010»
15 years 25 days ago
The proof monad
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...
Florent Kirchner, César Muñoz
MA
2010
Springer
85views Communications» more  MA 2010»
15 years 25 days ago
Tail dependence functions and vine copulas
Tail dependence and conditional tail dependence functions describe, respectively, the tail probabilities and conditional tail probabilities of a copula at various relative scales....
Harry Joe, Haijun Li, Aristidis K. Nikoloulopoulos
SPEECH
2010
96views more  SPEECH 2010»
15 years 23 days ago
Non-native durational patterns decrease speech intelligibility
In native speech, durational patterns convey linguistically relevant phenomena such as phrase structure, lexical stress, rhythm, and word boundaries. The lower intelligibility of ...
Hugo Quené, L. E. van Delft
TIT
2010
107views Education» more  TIT 2010»
15 years 23 days ago
Information inequalities for joint distributions, with interpretations and applications
Upper and lower bounds are obtained for the joint entropy of a collection of random variables in terms of an arbitrary collection of subset joint entropies. These inequalities gene...
Mokshay M. Madiman, Prasad Tetali