327 search results - page 25 / 66 » Extensible programming with first-class cases |
140
Voted
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
146
Voted
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
126
Voted
IJCAI
2007
15 years 4 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
145
Voted
AAAI
2000
15 years 4 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
120
Voted
MICRO
1996
IEEE
15 years 7 months ago
1996
IEEE
Much of the previous work on modulo scheduling has targeted numeric programs, in which, often, the majority of the loops are well-behaved loop-counter-based loops without early ex...