12981 search results - page 2292 / 2597 » Model Checking (Abstract) |
169
click to vote
ICWE
2004
Springer
16 years 18 hour 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...
158
click to vote
ICWL
2004
Springer
16 years 18 hour 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 18 hour 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...
175
click to vote
IFM
2004
Springer
16 years 17 hour 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 14 hour 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 ...