2845 search results - page 76 / 569 » Constraints over Ontologies |
FORMATS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
Data trees and data words have been studied extensively in connection with XML reasoning. These are trees or words that, in addition to labels from a finite alphabet, carry labels ...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
We present sufficient conditions for stabilizability of an unstable linear time invariant scalar system across an additive white Gaussian noise channel, with a relay assisting the ...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
This paper investigates the time-bounded version of the reachability problem for hybrid automata. This problem asks whether a given hybrid automaton can reach a given target locat...
AIED
2005
Springer
13 years 11 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...