3713 search results - page 399 / 743 » Constructing a Calculus of Programs |
157
click to vote
ECML
2007
Springer
15 years 11 months ago
2007
Springer
Many data mining techniques are these days in use for ontology learning – text mining, Web mining, graph mining, link analysis, relational data mining, and so on. In the current ...
138
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
We consider the problem of constructing efficient locally decodable codes in the presence of a computationally bounded adversary. Assuming the existence of one-way functions, we c...
162
click to vote
WAC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we describe ConStruct, a distributed, contextaggregation based service infrastructure which supports the development of context-aware applications. ConStruc...
131
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
125
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...