2006 search results - page 371 / 402 » Testing with Respect to Concerns |
ICFEM
2007
Springer
14 years 2 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
ICMI
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we present a presentation training system that observes a presentation rehearsal and provides the speaker with recommendations for improving the delivery of the pres...
MLDM
2007
Springer
14 years 2 months ago
2007
Springer
A Classification Association Rule (CAR), a common type of mined knowledge in Data Mining, describes an implicative co-occurring relationship between a set of binary-valued data-att...
PSIVT
2007
Springer
14 years 2 months ago
2007
Springer
: Measuring ellipticity is an important area of computer vision systems. Most existing ellipticity measures are area based and cannot be easily applied to point sets such as extrac...
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
This paper summarizes the results of the X-SOM tool in the OAEI 2007 campaign. X-SOM is an extensible ontology mapper that combines various matching algorithms by means of a feed-f...