9067 search results - page 452 / 1814 » Adaptive Model Checking |
182
click to vote
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
CORBA is an emerging middleware infrastructure with open standardization that is receiving a good acceptance since it makes easier to program distributed objects. CORBA is being e...
198
click to vote
ICCV
1995
IEEE
15 years 10 months ago
1995
IEEE
We propose a shape representation scheme which allows two shapes to be combined into a single model. The desired regions of the two shapes are selected, and then merged together f...
187
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper proposes an improved model for the transient of convex combinations of adaptive filters. A previous model, based on a firstorder Taylor series approximation of the nonl...
207
click to vote
WSDM
2012
ACM
14 years 2 months ago
2012
ACM
Many factorization models like matrix or tensor factorization have been proposed for the important application of recommender systems. The success of such factorization models dep...
169
click to vote
UM
2005
Springer
16 years 10 days ago
2005
Springer
Abstract: This paper is focused on user modeling and adaptation in distributed ELearning systems. We describe here CUMULATE, a generic student modeling server developed for a distr...