1710 search results - page 198 / 342 » High-Level Programs and Program Conditions |
114
click to vote
DAM
2002
15 years 2 months ago
2002
In K(n, n) with edges colored either red or blue, we show that the problem of finding a solution matching, a perfect matching consisting of exactly r red edges, and (n - r) blue e...
JOT
2002
15 years 2 months ago
2002
es are extended with a factorable, abstract state, and methods of interfaces are extended with state transformation behaviours. A new programming language command, the USE statemen...
143
click to vote
TSMC
2008
15 years 26 days ago
2008
A new approach for engine calibration and control is proposed. In this paper, we present our research results on the implementation of adaptive critic designs for self-learning con...
165
Voted
PROCEDIA
2010
15 years 25 days ago
2010
We describe a new course designed to introduce engineering students to computational thinking. One of the most significant challenges in teaching an introductory-level applied co...
126
Voted
VSTTE
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...