10575 search results - page 1798 / 2115 » T2Script Programming Language |
135
click to vote
GPCE
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
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 ...
128
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
We show that strictly positive inductive types, constructed from polynomial functors, constant exponentiation and arbitrarily nested inductive types exist in any Martin-L¨of categ...
138
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
We consider the problem of learning a labeled graph from a given family of graphs on n vertices in a model where the only allowed operation is to query whether a set of vertices i...
120
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
In the information age, the availability of data on consumer profiles has opened new possibilities for companies to increase their revenue via data mining techniques. One approach...