4139 search results - page 254 / 828 » Designing and Implementing Combinator Languages |
153
click to vote
MM
2004
ACM
15 years 10 months ago
2004
ACM
In this paper we describe the design and implementation of a mobile phone picture sharing system MobShare that enables immediate, controlled, and organized sharing of mobile pictu...
141
click to vote
NLDB
2007
Springer
15 years 11 months ago
2007
Springer
Various methodologies for structuring the process of domain modeling have been proposed, but there are few software tools that provide automatic support for the process of construc...
139
click to vote
PPDP
2004
Springer
15 years 10 months ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
131
click to vote
ECAI
1990
Springer
15 years 9 months ago
1990
Springer
Much recent work in computational morphology has presupposed that morphological operations are de nable on strings of phonological or graphemic objects. By contrast, theoretical l...
148
Voted
HASKELL
2006
ACM
15 years 11 months ago
2006
ACM
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...