5109 search results - page 535 / 1022 » On Learning Limiting Programs |
209
click to vote
ICCS
2001
Springer
15 years 12 months ago
2001
Springer
This paper presents a tool that enables programmers to use cyclic debugging techniques for debugging non-deterministic parallel programs. The solution consists of a combination of ...
207
Voted
IWMM
1998
Springer
15 years 11 months ago
1998
Springer
For Garbage Collection (GC) to be a generally accepted means of memory management it is required to prove its efficiency. This paper presents a scheme that guarantees that an incr...
181
click to vote
IFL
2000
Springer
15 years 11 months ago
2000
Springer
Sac is a functional array processing language particularly designed with numerical applications in mind. In this field the runtime performance of programs critically depends on the...
225
click to vote
NAACL
2007
15 years 9 months ago
2007
Previous work on discourse parsing has mostly relied on surface syntactic and lexical features; the use of semantics is limited to shallow semantics. The goal of this thesis is to...
186
click to vote
AAAI
1993
15 years 8 months ago
1993
One of the hardest problems in reasoning about a physical system is finding an approximate model that is mathematically tractable and yet captures the essence of the problem. Appr...