6960 search results - page 1122 / 1392 » Continuity Analysis of Programs |
147
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
116
Voted
ECBS
2006
IEEE
15 years 7 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
138
click to vote
ECML
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Most classification methods assume that the samples are drawn independently and identically from an unknown data generating distribution, yet this assumption is violated ...
135
click to vote
ESA
2006
Springer
15 years 7 months ago
2006
Springer
The class Max (r, 2)-CSP consists of constraint satisfaction problems with at most two r-valued variables per clause. For instances with n variables and m binary clauses, we presen...
165
click to vote
ACSD
2001
IEEE
15 years 7 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...