2413 search results - page 209 / 483 » Models for universal usability |
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
101
Voted
ICWE
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we present a fast and scalable Bayesian model for improving weakly annotated data – which is typically generated by a (semi) automated information extraction (IE) ...
ICALT
2005
IEEE
15 years 6 months ago
2005
IEEE
Our shared belief is that learning, like other human activities, cannot and will not be confined within rigidly defined course systems or learning repositories, inclosing learning...
ADC
2001
Springer
15 years 5 months ago
2001
Springer
The Sketch Data Model (SkDM) is a new semantic modelling paradigm based on category theory (specifically on categorical universal algebra), which has been used successfully in se...
111
Voted
ICSE
1998
IEEE-ACM
15 years 5 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...