4266 search results - page 3 / 854 » Search for More Declarativity |
CP
2005
Springer
13 years 7 months ago
2005
Springer
One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate l...
IPPS
2007
IEEE
14 years 1 days ago
2007
IEEE
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...
CHI
2010
ACM
14 years 18 days ago
2010
ACM
Search engines make it easy to check facts online, but finding some specific kinds of information sometimes proves to be difficult. We studied the behavioral signals that suggest ...
WWW
2005
ACM
14 years 6 months ago
2005
ACM
We present a usage consultation tool, based on Internet searching, for language learners. When a user enters a string of words for which he wants to find usages, the system sends ...
IUI
2010
ACM
14 years 2 months ago
2010
ACM
The Web makes it possible for news readers to learn more about virtually any story that interests them. Media outlets and search engines typically augment their information with l...