Sciweavers

6650 search results - page 62 / 1330
» models 2009
Sort
View
109
Voted
FASE
2009
Springer
16 years 12 days ago
Proving Consistency of Pure Methods and Model Fields
Abstract. Pure methods and model fields are useful and common speci
K. Rustan M. Leino, Ronald Middelkoop
MICCAI
2009
Springer
16 years 6 months ago
Anatomically Informed Bayesian Model Selection for fMRI Group Data Analysis
Merlin Keller, Marc Lavielle, Matthieu Perrot, ...
ASIAMS
2009
IEEE
16 years 13 days ago
Intelligent Web Caching for E-learning Log Data
Sarina Sulaiman, Siti Mariyam Hj. Shamsuddin, Fadn...
MSWIM
2009
ACM
16 years 13 days ago
RENA: region-based routing in intermittently connected mobile network
Hao Wen, Jia Liu, Chuang Lin, Fengyuan Ren, Pan Li...
232
Voted
PADL
2009
Springer
16 years 6 months ago
On Preferring and Inspecting Abductive Models
Gonçalo Lopes, Luís Moniz Pereira, P...