11151 search results - page 400 / 2231 » On the Complexity of Model Expansion |
176
click to vote
EDM
2010
15 years 9 months ago
2010
Epistemic games are designed to help players develop domain-specific expertise that characterizes how professionals in a particular domain reason, communicate, and act [1, 11]. To ...
190
click to vote
JLP
2006
15 years 7 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
195
click to vote
EOR
2007
15 years 7 months ago
2007
In recent years, Support Vector Machines (SVMs) were successfully applied to a wide range of applications. Their good performance is achieved by an implicit non-linear transformat...
202
click to vote
CORR
1999
Springer
15 years 7 months ago
1999
Springer
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
192
click to vote
ICRA
2008
IEEE
16 years 2 months ago
2008
IEEE
— In this paper, a novel approach for parallel kinematic machine control relying on a fast exteroceptive measure is implemented and validated on the Orthoglide robot. This approa...