677 search results - page 46 / 136 » Dependent Types from Counterexamples |
PAM
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents a study of the errors observed when an optical Gigabit Ethernet link is subject to attenuation. We use a set of purpose-built tools which allows us to examine t...
CTCS
1989
Springer
15 years 1 months ago
1989
Springer
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
SIGLEX
1991
15 years 1 months ago
1991
Drawing on a growing database of systematic relationships between word-senses, the authors argue that a significant class of these represent Lexical Implication Rules, a set of fo...
WSPI
2008
14 years 11 months ago
2008
Abstract. We all highly depend and rely on the trustworthiness of information and services provided by various parties and institutions. Reputation systems are one possibility to s...
ACL
2010
14 years 7 months ago
2010
We investigate hierarchical graphical models (HGMs) for automatically detecting decisions in multi-party discussions. Several types of dialogue act (DA) are distinguished on the b...