1675 search results - page 141 / 335 » A Structured Approach to Parallel Programming: Methodology a... |
135
Voted
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
123
Voted
UM
2005
Springer
15 years 9 months ago
2005
Springer
The paper proposes meta-ontology of the user modeling field. Ontology is meant to structure the state-of-the-art in the field and serve as a central reference point and as a tool t...
154
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
163
Voted
3DIM
2011
IEEE
14 years 3 months ago
2011
IEEE
—Image-based computation of a 3D map for an indoor environment is a very challenging task, but also a useful step for vision-based navigation and path planning for autonomous sys...
126
Voted
JSW
2008
15 years 3 months ago
2008
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...