37 search results - page 8 / 8 » coling 2007 |
CORR
2011
Springer
13 years 8 days ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
ESCIENCE
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper presents GMLE 1 , a generic and distributed framework for maximum likelihood evaluation. GMLE is currently being applied to astroinformatics for determining the shape o...