4469 search results - page 473 / 894 » A Language for Role Specifications |
197
click to vote
ICONFERENCE
2011
15 years 1 months ago
2011
Human values can help to explain people’s sentiment toward current events. In this experiment, we compare people’s values with their agreement or disagreement with paragraphs ...
122
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
We present an initial investigation into the acoustic realisation of tone in continuous utterances in Sepedi (a language in the Southern Bantu family). An analytic model for the g...
192
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
This paper presents the notion of Semantic Associations as complex relationships between resource entities. These relationships capture both a connectivity of entities as well as ...
186
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
261
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...