2062 search results - page 396 / 413 » Derivatives of Logical Formulas |
151
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
In the paper, an evolutionary approach to test generation for functional BIST is considered. The aim of the proposed scheme is to minimize the test data volume by allowing the dev...
135
Voted
ELECTRONICMARKETS
2010
15 years 26 days ago
2010
We argue that certain theoretical commitments that underpin much existing Interorganisational Information Systems (IOIS) research at small scales become untenable when IOIS are st...
146
Voted
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
The recognition of text in everyday scenes is made difficult by viewing conditions, unusual fonts, and lack of linguistic context. Most methods integrate a priori appearance info...
143
Voted
VLSISP
2011
14 years 10 months ago
2011
This paper presents accurate area, time, power estimation models for implementations using FPGAs from the Xilinx Virtex-2Pro family [1]. These models are designed to facilitate ef...
176
Voted
KI
2010
Springer
14 years 10 months ago
2010
Springer
We present a framework for incorporating perception-induced beliefs into the knowledge base of a rational agent. Normally, the agent accepts the propositional content of perception...