9931 search results - page 436 / 1987 » Generative Modeling by PRISM |
166
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
157
click to vote
ICMT
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
177
click to vote
SIBGRAPI
1999
IEEE
15 years 11 months ago
1999
IEEE
: In this work we introduce an iterative method that deforms brain models built from tomographic images. The deformation is used for normalization purposes: individual models are d...
182
click to vote
EMNLP
2007
15 years 8 months ago
2007
We describe a discriminatively trained sequence alignment model based on the averaged perceptron. In common with other approaches to sequence modeling using perceptrons, and in co...
155
click to vote
CGF
1999
15 years 6 months ago
1999
The paper presents simple, physically plausible, but not physically based reflectance models for metals and other specular materials. So far there has been no metallic BRDF model ...