9626 search results - page 1279 / 1926 » Invariant Based Programming |
235
click to vote
AFP
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
171
click to vote
CD
2004
Springer
16 years 20 days ago
2004
Springer
Based on a vision that, in the future, applications will be flexibly built out of small-grained components, we argue that current technologies do not adequately support component d...
168
click to vote
ECAI
2004
Springer
16 years 20 days ago
2004
Springer
The purpose of this paper is to show that a well known machine learning technique based on Decision Trees can be effectively used to select the best approach (in terms of efficien...
214
click to vote
FSTTCS
2004
Springer
16 years 20 days ago
2004
Springer
Abstract Abstract. In this paper we improve the analysis of approximation algorithms based on semidefinite programming for the maximum graph partitioning problems MAX-k-CUT, MAX-k...
187
Voted
GC
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...