1285 search results - page 206 / 257 » Description Logic Reasoner: System Description |
139
click to vote
AUTOMATICA
2008
15 years 1 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
138
click to vote
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
121
click to vote
AAAI
2007
15 years 3 months ago
2007
A major challenge in robotics and artificial intelligence lies in creating robots that are to cooperate with people in human-populated environments, e.g. for domestic assistance ...
105
click to vote
SEFM
2006
IEEE
15 years 7 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
98
Voted
ER
2003
Springer
15 years 6 months ago
2003
Springer
A modeling and development methodology is a combination of a language for expressing the universal or domain ontology and an approach for developing systems using that language. A ...