2989 search results - page 148 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
140
Voted
FORMATS
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
135
click to vote
ICIP
2008
IEEE
15 years 11 months ago
2008
IEEE
Due to their ease of use and availability, pan-tilt-zoom (PTZ) cameras are everywhere. However, in order to utilize these cameras for a meaningful application, it is necessary tha...
151
click to vote
ICFCA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In a previous paper, we have introduced an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using informat...
199
Voted
IDA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
158
click to vote
UML
2001
Springer
15 years 9 months ago
2001
Springer
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Java, or the Abstract Mac...