5615 search results - page 475 / 1123 » Active Learner Modelling |
221
click to vote
FOSSACS
2011
Springer
14 years 10 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
205
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
We show that the log-likelihood of several probabilistic graphical models is Lipschitz continuous with respect to the p-norm of the parameters. We discuss several implications ...
158
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Weaddress the issue ofEuclideanpath mu& ling ina single camerafor activity monitoring in a multi-camera video surveillance system m e paperpmposes a novel linear solufwnro aut...
272
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
A crucial challenge for improving EMLs is to provide an intuitive notation to support educational practitioners to not only understand, but also describe a large number of flexibl...
186
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—In this paper, we extend both Bianchi’s and Kumar’s models and characterize the channel activities governed by IEEE 802.11 DCF in multi-hop wireless networks from the perspe...