1588 search results - page 300 / 318 » On the Logic of Constitutive Rules |
127
click to vote
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
124
click to vote
SOSP
2005
ACM
15 years 10 months ago
2005
ACM
Overlay networks are used today in a variety of distributed systems ranging from file-sharing and storage systems to communication infrastructures. However, designing, building a...
135
click to vote
WWW
2009
ACM
15 years 8 months ago
2009
ACM
Traditional relation extraction methods require pre-specified relations and relation-specific human-tagged examples. Bootstrapping systems significantly reduce the number of tr...
102
click to vote
LPNMR
2007
Springer
15 years 7 months ago
2007
Springer
Logic programming under the answer-set semantics nowadays deals with numerous different notions of equivalence between programs. This is due to the fact that equivalence for substi...
115
click to vote
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
In this paper we present a genetic algorithm-based approach towards designing self-assembling objects comprised of square smart blocks. Each edge of each block can have one of thr...