2741 search results - page 88 / 549 » Engineering Mathematical Knowledge |
JAR
2002
13 years 9 months ago
2002
Abstract. This paper reports on the Mizar formalization of the theory of continuous lattices as presented in A Compendium of Continuous Lattices, [25]. By the Mizar formalization w...
BMCBI
2007
13 years 10 months ago
2007
Background: Reverse engineering cellular networks is currently one of the most challenging problems in systems biology. Dynamic Bayesian networks (DBNs) seem to be particularly su...
AIED
2005
Springer
14 years 3 months ago
2005
Springer
ITS instruction may be enhanced by models of student motivation and mood, in addition to cognitive skills and domain knowledge. In an initial study, self-assessments by high school...
ISIPTA
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper reviews algorithms for local computation with imprecise probabilities. These algorithms try to solve problems of inference calculation of conditional or unconditional p...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
Architectural design decisions are commonly agreed as one of the main elements that constitute architectural knowledge. To avoid knowledge vaporization, architectural decisions an...