1268 search results - page 136 / 254 » One Logic to Use Them All |
96
Voted
BMCBI
2008
15 years 27 days ago
2008
Background: Innumerable biological investigations require comparing collections of molecules, cells or organisms to one another with respect to one or more of their properties. Al...
125
click to vote
ENTCS
2007
15 years 22 days ago
2007
Poly-controlled partial evaluation (PCPE) is a flexible approach for specializing logic programs, which has been recently proposed. It takes into account repertoires of global co...
133
click to vote
PLPV
2010
ACM
15 years 9 months ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
118
click to vote
ICRA
2005
IEEE
15 years 6 months ago
2005
IEEE
— One of the principal guidelines in the design of haptic devices is to provide a suitable mechanical design that can improve control performance and the force-feedback fidelity...
91
Voted
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
Recommender systems have been widely advocated as a way of coping with the problem of information overload for knowledge workers. Given this, multiple recommendation methods have ...