1613 search results - page 201 / 323 » Model-Driven Constraint Engineering |
124
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— Hybrid Vehicle fuel economy performance is highly sensitive to the energy management strategy used to select among multiple energy sources. Optimal solutions are easy to specif...
140
click to vote
ICDM
2008
IEEE
15 years 11 months ago
2008
IEEE
Motivated by the need for unification of the field of data mining and the growing demand for formalized representation of outcomes of research, we address the task of constructi...
121
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
154
click to vote
FOCI
2007
IEEE
15 years 10 months ago
2007
IEEE
— The Constraint Satisfaction Problem (CSP) is one of the most prominent problems in artificial intelligence, logic, theoretical computer science, engineering and many other are...
145
click to vote
RTAS
2007
IEEE
15 years 10 months ago
2007
IEEE
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...