10916 search results - page 300 / 2184 » On Constructive Connectives and Systems |
156
click to vote
DATE
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLD...
157
Voted
AMC
2005
15 years 6 months ago
2005
A constructive algorithm for the completion of arbitrary algebraic partial differential equation systems to involutive ones are presented. Based on it, an implementation ICS for c...
MOC
1998
15 years 6 months ago
1998
It is proved that there are precisely 4204 pairwise non-isomorphic Steiner systems S(5, 6, 72) invariant under the group PSL2(71) and which can be constructed using only short orbi...
177
click to vote
ICECCS
2006
IEEE
16 years 25 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
175
click to vote
EDM
2008
15 years 8 months ago
2008
One of the unresolved problems faced in the construction of intelligent tutoring systems is the acquisition of background knowledge, either for the specification of the teaching st...