17054 search results - page 304 / 3411 » Logics of Dynamical Systems |
228
click to vote
ACL
2007
15 years 8 months ago
2007
This paper presents the first empirical results to our knowledge on learning synchronous grammars that generate logical forms. Using statistical machine translation techniques, a...
206
click to vote
DLOG
2001
15 years 8 months ago
2001
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
196
click to vote
ENTCS
2007
15 years 7 months ago
2007
We define a rewrite strategy for a class of non-confluent constructor-based term graph rewriting systems and discuss its correctness. Our strategy and its extension to narrowing...
186
click to vote
WCFLP
2005
ACM
16 years 28 days ago
2005
ACM
Programmers need mechanisms to store application specific data that persists multiple program runs. To accomplish this task, they usually have to deal with storage specific code...
209
click to vote
FOSSACS
2001
Springer
15 years 12 months ago
2001
Springer
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...