5227 search results - page 857 / 1046 » Enterprise modeling using class and instance models |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Modal logics are widely used in computer science. The complexity of modal satisfiability problems has been investigated since the 1970s, usually proving results on a case-by-case b...
ENGL
2006
13 years 9 months ago
2006
A direct adaptive neural network control system with and without integral action term is designed for the general class of continuous biological fermentation processes. The control...
IJAR
2006
13 years 9 months ago
2006
An important class of continuous Bayesian networks are those that have linear conditionally deterministic variables (a variable that is a linear deterministic function of its pare...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
— We derive a hybrid feedback control law for the lateral leg spring (LLS) model so that the center of mass of a legged runner follows a curved path in horizontal plane. The cont...
DKE
2007
13 years 9 months ago
2007
This paper presents a methodology for knowledge acquisition from source code. We use data mining to support semiautomated software maintenance and comprehension and provide practi...