1173 search results - page 122 / 235 » GenSAT: A Navigational Approach |
165
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
This paper illustrates the OntoWeaver modelling approach, which relies on a set of comprehensive site ontologies to model all aspects of dataintensive web sites and thus offers hig...
170
click to vote
MICCAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We introduce a new, efficient approach for modelling the deformation of organs following surgical cuts, retractions, and resections. It uses the extended finite element ...
156
click to vote
CA
2003
IEEE
15 years 11 months ago
2003
IEEE
Pedestrian navigation is a complex function of human dynamics, a desired destination, and the presence of obstacles. People cannot stop and start instantaneously and their turning...
162
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
179
click to vote
ICALT
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper an instructional framework is proposed for supporting personalised learning in the context of webbased adaptive educational hypermedia systems. A learning-focused ap...