1818 search results - page 22 / 364 » Operant conditioning |
89
Voted
AGP
1997
IEEE
15 years 2 months ago
1997
IEEE
Abstract. Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this ...
98
Voted
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Particle filters (PF) and auxiliary particle filters (APF) are widely used sequential Monte Carlo (SMC) techniques. In this paper we comparatively analyse the Sampling Importanc...
91
Voted
SCAM
2002
IEEE
15 years 3 months ago
2002
IEEE
Many software systems are developed with configurable functionality, and for multiple hardware platforms and operating systems. This can lead to thousands of possible configuratio...
TPHOL
1994
IEEE
15 years 2 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
95
Voted
FLAIRS
2008
15 years 17 days ago
2008
Preferences in constraint problems are common but significant in many real world applications. In this paper, we extend our conditional and composite CSP (CCCSP) framework, managi...