3191 search results - page 396 / 639 » Qualitative Modeling in Education |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Using Atomic Force Microscopes (AFM) to manipulate nanoobjects is an actual challenge for surface scientists. Basic haptic interfaces between the AFM and experimentalists...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Random intersection graphs (RIGs) are an important random structure with algorithmic applications in social networks, epidemic networks, blog readership, and wireless sen...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Markov decision processes (MDPs) are widely used for modeling decision-making problems in robotics, automated control, and economics. Traditional MDPs assume that the decision mak...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...