686 search results - page 27 / 138 » Foundations for Bidirectional Programming |
102
Voted
ACL
1996
14 years 11 months ago
1996
We present a language model consisting of a collection of costed bidirectional finite state automata associated with the head words of phrases. The model is suitable for increment...
KR
2004
Springer
15 years 3 months ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
173
Voted
Book
"This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective. It is intended for resear...
COMPGEOM
1992
ACM
15 years 1 months ago
1992
ACM
We present a simple randomized algorithm which solves linear programs with n constraints and d variables in expected minfO(d 22dn); e 2 pdln(n= p d)+O( p d+lnn)g time in the unit ...
70
Voted
USM
2000
15 years 1 months ago
2000
The deployment for new Internet services is limited by existing service creation platforms which can be, characterized as being closed, vertical and best effort in nature. We belie...