7978 search results - page 1520 / 1596 » Representation before computation |
121
click to vote
BIRTHDAY
1991
Springer
15 years 7 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
116
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Networks-on-chip (NoCs) are becoming increasingly important in general-purpose and application-specific multi-core designs. Although uniform router configurations are appropriate ...
170
click to vote
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
A clustering framework within the sparse modeling and dictionary learning setting is introduced in this work. Instead of searching for the set of centroid that best fit the data, ...
143
click to vote
AIPS
2008
15 years 6 months ago
2008
In the planning-as-SAT paradigm there have been numerous recent developments towards improving the speed and scalability of planning at the cost of finding a step-optimal parallel...
156
click to vote
ISMB
2007
15 years 6 months ago
2007
Motivation: A few years ago, FlyBase undertook to design a new database schema to store Drosophila data. It would fully integrate genomic sequence and annotation data with bibliog...