2364 search results - page 165 / 473 » An Engine for Computing Well-Founded Models |
148
click to vote
ICSR
2004
Springer
15 years 10 months ago
2004
Springer
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
158
Voted
SIGGRAPH
1994
ACM
15 years 8 months ago
1994
ACM
This paper derives a model of diffuse and specular illumination in arbitrarily large dimensions, based on a few characteristics of material and light in 3-space. It then describes...
153
click to vote
SAC
2003
ACM
15 years 9 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
173
click to vote
UAI
2007
15 years 5 months ago
2007
Bayesian networks (BN) are particularly well suited to capturing vague and uncertain knowledge. However, the capture of this knowledge and associated reasoning from human domain e...
120
click to vote
CODES
2000
IEEE
15 years 9 months ago
2000
IEEE
Frequency interleaving is introduced as a means of conceptualizing and co-scheduling hardware and software behaviors so that software models with conceptually unbounded state and ...