3367 search results - page 139 / 674 » Incremental assignment problem |
133
click to vote
SEW
2003
IEEE
15 years 8 months ago
2003
IEEE
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
VTS
1997
IEEE
15 years 7 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
109
click to vote
ENTCS
2007
15 years 3 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
133
click to vote
PR
2008
15 years 3 months ago
2008
The error correcting output codes (ECOC) technique is a useful way to extend any binary classifier to the multiclass case. The design of an ECOC matrix usually considers an a prio...
129
click to vote
DASFAA
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract. Graph-structured databases have numerous recent applications including the Semantic Web, biological databases and XML, among many others. In this paper, we study the main...