6456 search results - page 933 / 1292 » Constraint Solving on Terms |
178
click to vote
TCS
2008
15 years 6 months ago
2008
It was proved few years ago that classes of Boolean functions definable by means of functional equations [9], or equivalently, by means of relational constraints [16], coincide wit...
196
click to vote
TCSB
2008
15 years 6 months ago
2008
Clustering gene expression data given in terms of time-series is a challenging problem that imposes its own particular constraints, namely exchanging two or more time points is not...
180
click to vote
TII
2008
15 years 6 months ago
2008
In distributed real-time systems, meeting the real-time constraints is mandatory but the satisfaction of other application-dependent criteria is most generally required as well. I...
201
click to vote
TIP
2008
15 years 6 months ago
2008
The implicit framework of the level-set method has several advantages when tracking propagating fronts. Indeed, the evolving contour is embedded in a higher dimensional level-set f...
162
Voted
JCP
2007
15 years 6 months ago
2007
ADE, autonomic distributed environment, is a system which engages autonomic elements to automatically take an existing centralized application and distribute it across available re...