1763 search results - page 200 / 353 » A Formalization of Polytime Functions |
133
click to vote
FASE
2005
Springer
15 years 7 months ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
115
click to vote
PAKDD
2005
ACM
15 years 7 months ago
2005
ACM
Abstract. In this paper we present a novel and general framework based on concepts of relational algebra for kernel-based learning over relational schema. We exploit the notion of ...
112
click to vote
VLSM
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we describe a new framework for the tracking of closed curves described through implicit surface modeling. The approach proposed here enables a continuous tracking al...
121
click to vote
PASTE
2004
ACM
15 years 7 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
104
click to vote
ARGMAS
2004
Springer
15 years 7 months ago
2004
Springer
Negotiation can be conceived as the exchange of messages among self-interested agents in order to settle on an agreement over a given issue. They decide which messages to send acco...