2335 search results - page 138 / 467 » Type Checking Type Classes |
IUCS
2009
ACM
14 years 3 months ago
2009
ACM
This paper applied “Sandglass” machine translation architecture to the task of translating Japanese functional expressions into English. We employ the semantic equivalence cla...
CIKM
2007
Springer
14 years 3 months ago
2007
Springer
We present a corpus-based approach to the class expansion task. For a given set of seed entities we use co-occurrence statistics taken from a text collection to define a membersh...
APSEC
1998
IEEE
14 years 1 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
MASCOTS
2001
13 years 10 months ago
2001
The congestion control mechanisms of TCP make it vulnerable in an environment where flows with different congestionsensitivity compete for scarce resources. With the increasing am...
COMBINATORICS
2000
13 years 9 months ago
2000
Two tournaments T1 and T2 on the same vertex set X are said to be switching equivalent if X has a subset Y such that T2 arises from T1 by switching all arcs between Y and its comp...