9067 search results - page 687 / 1814 » Adaptive Model Checking |
160
click to vote
ICWL
2009
Springer
16 years 1 days ago
2009
Springer
The authors present an approach for implementing a system for the assessment of medical competences using a haptic simulation device. Based on Competence based Knowledge Space Theo...
225
click to vote
ICVS
2001
Springer
15 years 12 months ago
2001
Springer
High-level vision systems use object, scene or domain specific knowledge to interpret images. Unfortunately, this knowledge has to be acquired for every domain. This makes it diffi...
239
click to vote
FOCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We introduce the notion of non-malleable noninteractive zero-knowledge (NIZK) proof systems. We show how to transform any ordinary NIZK proof system into one that has strong non-m...
185
click to vote
BPM
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Process-aware information systems should enable the flexible alignment of business processes to new requirements by supporting deviations from the predefined process mode...
198
click to vote
ICMLA
2008
15 years 9 months ago
2008
In this paper, a grey neuro-adaptive control algorithm is suggested for Antilock Braking Systems (ABS). The concept of grey system theory, which has a certain prediction capabilit...