2861 search results - page 295 / 573 » Modelling Adaptive Systems in ForSyDe |
176
Voted
MICCAI
2002
Springer
16 years 7 months ago
2002
Springer
This paper proposes a computer-assisted system for the surgical treatment of exophthalmia. This treatment is classically characterized by a decompression of the orbit, by the mean ...
155
click to vote
SAS
2009
Springer
16 years 6 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
180
click to vote
AIED
2009
Springer
15 years 9 months ago
2009
Springer
Giving effective help is an important collaborative skill that leads to improved learning for both the help-giver and help-receiver. Adding intelligent tutoring to student interact...
171
click to vote
ESWS
2005
Springer
15 years 11 months ago
2005
Springer
Semantic search has been one of the motivations of the Semantic Web since it was envisioned. We propose a model for the exploitation of ontologybased KBs to improve search over lar...
172
click to vote
GISCIENCE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Integration of GIS and hydrologic models has been a common approach for monitoring our ever-changing hydrologic system. One important issue in adapting such an approach i...