2604 search results - page 377 / 521 » General constant expressions for system programming language... |
128
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
155
click to vote
ICTAI
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
250
click to vote
CP
2009
Springer
16 years 4 months ago
2009
Springer
In this work, we improve on existing work that studied the relationship between the proof system of modern SAT solvers and general resolution. Previous contributions such as those ...
120
click to vote
UM
2007
Springer
15 years 10 months ago
2007
Springer
Information graphics, such as bar charts and line graphs, that appear in popular media generally have a message that they are intended to convey. We have developed a novel plan inf...
248
click to vote
LOGCOM
1998
15 years 3 months ago
1998
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...