12981 search results - page 2292 / 2597 » Model Checking (Abstract) |
128
click to vote
ICWE
2004
Springer
15 years 10 months 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...
126
click to vote
ICWL
2004
Springer
15 years 10 months 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...
141
click to vote
IDEAL
2004
Springer
15 years 10 months 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...
139
Voted
IFM
2004
Springer
15 years 10 months 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...
130
click to vote
ISW
2004
Springer
15 years 10 months 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 ...