1017 search results - page 185 / 204 » Higher-Order Logic Programming Languages with Constraints: A... |
114
Voted
ICFP
2007
ACM
15 years 11 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...
NAACL
1994
15 years 1 months ago
1994
The Workshop included an extended group of presentations by selected US government agencies and an invited guest from the European Community. These presentations, amplified in the...
104
click to vote
CADE
2005
Springer
16 years 1 days ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
100
click to vote
CONTEXT
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...
103
click to vote
WWW
2007
ACM
16 years 12 days ago
2007
ACM
Many applications in analytical domains often have the need to "connect the dots" i.e., query about the structure of data. In bioinformatics for example, it is typical t...