1380 search results - page 193 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
COMPGEOM
2004
ACM
14 years 2 months ago
2004
ACM
We study dynamic self-reconfiguration of modular metamorphic systems. We guarantee the feasibility of motion planning in a rectangular model consisting of square modules that are...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
We investigate and model the dynamics of two-dimensional stochastic self-assembly of intelligent micro-systems with minimal requirements in terms of sensing, actuation, and contro...
RULEML
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...
SIGADA
2004
Springer
14 years 2 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
NAACL
1994
13 years 10 months ago
1994
To achieve reasonable accuracy in large vocabulary speech recognition systems, it is important to use detailed acoustic models together with good long span language models. For ex...