1179 search results - page 90 / 236 » Should Superclasses be Abstract |
AISC
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Building a repository of proof-checked mathematical knowledge is without any doubt a lot of work, and besides the actual formalization process there is also the task of m...
BIOID
2008
13 years 10 months ago
2008
Abstract. In this paper we provide a theoretical discussion of the impact of uncertainty in quality measurement on the expected benefits of including biometric signal quality measu...
IEEESCC
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract--In a web service composition, an electronic contract (e-contract) regulates how the services participating in the composition should behave, including the restrictions th...
ECTEL
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Virtual training systems are increasingly used for the training of complex, dynamic tasks. To give trainees the opportunity to train autonomously, intelligent agents are ...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...