11063 search results - page 294 / 2213 » On the existence of universal models |
195
click to vote
ECBS
2007
IEEE
16 years 1 months ago
2007
IEEE
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
196
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...
114
click to vote
NIPS
1997
15 years 8 months ago
1997
A rich body of data exists showing that recollection of specific information makes an important contribution to recognition memory, which is distinct from the contribution of fam...
175
click to vote
ACL
2010
15 years 4 months ago
2010
In predicate-argument structure analysis, it is important to capture non-local dependencies among arguments and interdependencies between the sense of a predicate and the semantic...
172
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
This paper presents Bayesian edge inference (BEI), a
single-frame super-resolution method explicitly grounded in
Bayesian inference that addresses issues common to existing
meth...