3191 search results - page 407 / 639 » Qualitative Modeling in Education |
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Metric Temporal Logic (MTL) is a prominent specification formalism for realtime systems. In this paper, we show that the satisfiability problem for MTL over finite tim...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
In this paper, the finite volume method is developed to analyze coupled dynamic problems of nonlinear thermoelasticity. The major focus is given to the description of martensitic ...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
The subject of collective attention is central to an information age where millions of people are inundated with daily messages. It is thus of interest to understand how attention...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
The aim of this paper is to characterize the uniqueness domains in the workspace of parallel manipulators, as well as their image in the joint space. The notion of aspect introduc...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
: The research area “Virtual Manufacturing” can be defined as an integrated manufacturing environment which can enhance one or several levels of decision and control in manufac...