844 search results - page 40 / 169 » More On Implicit Syntax |
117
Voted
MKM
2004
Springer
15 years 8 months ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...
111
click to vote
SAINT
2003
IEEE
15 years 8 months ago
2003
IEEE
Route flap is an undesirable phenomenon in the Internet and needs to be eliminated for more stable and robust networks. In this paper we present our observations of such persiste...
107
Voted
COLING
2008
15 years 4 months ago
2008
We present a corpus study of local discourse relations based on the Penn Discourse Tree Bank, a large manually annotated corpus of explicitly or implicitly realized relations. We ...
123
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Existing transport protocols, be it TCP, SCTP or DCCP, do not provide an efficient congestion control mechanism for heterogeneous wired-cum-wireless networks. Solutions involving i...
161
click to vote
PPSN
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We introduce, analyze, and experimentally examine co-solvability, an ability of a solution to solve a pair of fitness cases (tests). Based on this concept, we devise a co...