1992 search results - page 323 / 399 » Model Based Testing with Labelled Transition Systems |
127
click to vote
ITS
2000
Springer
15 years 6 months ago
2000
Springer
We are designing a computational architecture for a "learning economy" based on personal software agents who represent users in a virtual society and assist them in find...
132
Voted
GI
2005
Springer
15 years 8 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
130
Voted
MIRAGE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we take a fresh look at the problem of extracting shape from contours of human faces. We focus on two key questions: how can we robustly fit a 3D face mode...
125
Voted
AIED
2005
Springer
15 years 8 months ago
2005
Springer
Intelligent Tutoring Systems are notoriously costly to construct [1], and require PhD level experience in cognitive science and rule based programming. The goal of this research wa...
129
Voted
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Similarity has become a classical tool for ontology confrontation motivated by alignment, mapping or merging purposes. In the definition of an ontologybased measure one ...