5615 search results - page 935 / 1123 » Active Learner Modelling |
122
click to vote
ISW
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
163
click to vote
IDMS
2001
Springer
15 years 8 months ago
2001
Springer
In this paper, we revisit and challenge the dogma that TCP is an undesirable choice for streaming multimedia, video in particular. For some time, the common view held that neither ...
139
click to vote
ICIP
1999
IEEE
15 years 8 months ago
1999
IEEE
Segmentation of motion in an image sequence is one of the most challenging problems in image processing, while at the same time one that finds numerous applications. To date, a wea...
139
click to vote
ECOOPW
1998
Springer
15 years 8 months ago
1998
Springer
Current object-oriented CASE tools are useful for recording and gaining insight into OO models. They offer extensive support for especially the analysis and design of object-orien...
191
Voted
UIST
1993
ACM
15 years 8 months ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...