4139 search results - page 254 / 828 » Designing and Implementing Combinator Languages |
194
click to vote
MM
2004
ACM
16 years 17 days 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...
196
click to vote
NLDB
2007
Springer
16 years 1 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...
204
click to vote
PPDP
2004
Springer
16 years 15 days 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...
185
click to vote
ECAI
1990
Springer
15 years 11 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...
204
click to vote
HASKELL
2006
ACM
16 years 1 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...