2694 search results - page 240 / 539 » A Description Logic of Change |
153
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
This work describes a new mapping technique, RAM-MAP, that identifies parts of circuits that can be efficiently mapped into the synchronous embedded memories found on field prog...
181
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
146
click to vote
GLVLSI
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper presents a minimum area, low-power driven clustering algorithm for coarse-grained, antifuse-based FPGAs under delay constraints. The algorithm accurately predicts logic...
176
click to vote
IJCNN
2006
IEEE
16 years 20 days ago
2006
IEEE
—This paper presents a novel fuzzy logic based controller for a Static Compensator (STATCOM) connected to a power system. Type-II fuzzy systems are selected that enable the contr...
164
click to vote
TIME
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as tem...