12981 search results - page 2292 / 2597 » Model Checking and Abstraction |
172
click to vote
ICWE
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In recent years, more and more publications and material for studying and teaching, e. g. for Web-based teaching (WBT), appear "online" and digital libraries ar...
159
click to vote
ICWL
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In many circumstances, including e-learning, there is a need to reorganize digital resources, scattered in many places, into a coherently accessible repository. This pape...
176
click to vote
IDEAL
2004
Springer
16 years 2 days ago
2004
Springer
Abstract— The paper presents an efficient construction algorithm for obtaining sparse kernel density estimates based on a regression approach that directly optimizes model gener...
177
click to vote
IFM
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
157
click to vote
ISW
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Digitalization of content is both a blessing and a curse. While it allows for efficient transmission and consumption, the ease of copying and sharing digital content has ...