1653 search results - page 120 / 331 » Directed tree-width examples |
117
click to vote
CDC
2008
IEEE
15 years 3 months ago
2008
IEEE
In this paper we apply the robust redesign for transient performance recovery of nonlinear systems with input uncertainties developed in [2] to a spacecraft attitude tracking probl...
111
Voted
CIE
2008
Springer
15 years 3 months ago
2008
Springer
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...
125
click to vote
AIED
2005
Springer
15 years 3 months ago
2005
Springer
Building a domain model consumes a major portion of the time and effort required for building an Intelligent Tutoring System. Past attempts at reducing the knowledge acquisition bo...
106
click to vote
GECCO
2010
Springer
15 years 3 months ago
2010
Springer
Several population-based methods (with origins in the world of evolutionary strategies and estimation-of-distribution algorithms) for black-box optimization in continuous domains ...
104
click to vote
CMSB
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...