2076 search results - page 261 / 416 » Functional logic overloading |
128
click to vote
ENTCS
2002
15 years 3 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
155
Voted
ICTAC
2009
Springer
15 years 1 months ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
156
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
We present Propagation Networks (P-Nets), a novel approach for representing and recognizing sequential activities that include parallel streams of action. We represent each activi...
109
click to vote
WWW
2002
ACM
16 years 3 months ago
2002
ACM
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...
123
Voted
ICCD
2002
IEEE
16 years 5 days ago
2002
IEEE
Boolean functions are fundamental to synthesis and verification of digital logic, and compact representations of Boolean functions have great practical significance. Popular repre...