2100 search results - page 240 / 420 » Observation Can Be as Effective as Action in Problem Solving |
157
click to vote
SCM
2003
15 years 7 months ago
2003
A configuration management policy specifies the procedures through which a user evolves artifacts stored in a configuration management system. Different configuration management sy...
171
click to vote
UAI
1994
15 years 7 months ago
1994
Most traditional models of uncertainty have focused on the associational relationship among variables as captured by conditional dependence. In order to successfully manage intell...
168
click to vote
IJFCS
2006
15 years 6 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
213
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
Recent years have seen a resurgence of interest in programming by demonstration. As end users have become increasingly sophisticated, computer and artificial intelligence technolo...
169
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...