8874 search results - page 242 / 1775 » A New Implementation of Automath |
193
click to vote
NAR
2011
14 years 7 months ago
2011
The Phospho.ELM resource (http://phospho.elm.eu .org) is a relational database designed to store in vivo and in vitro phosphorylation data extracted from the scientific literature...
174
click to vote
PAMI
2011
14 years 7 months ago
2011
—CENTRIST (CENsus TRansform hISTogram), a new visual descriptor for recognizing topological places or scene categories, is introduced in this paper. We show that place and scene ...
192
click to vote
PODC
2011
ACM
14 years 7 months ago
2011
ACM
Dynamic memory management is a significant source of complexity in the design and implementation of practical concurrent data structures. We study how hardware transactional memo...
289
click to vote
ARITH
2011
IEEE
14 years 4 months ago
2011
IEEE
— This paper presents a number of new high-radix ripple-carry adder designs based on Ling’s addition technique and a recently-published expansion thereof. The proposed adders a...
252
click to vote
CISIS
2011
IEEE
14 years 4 months ago
2011
IEEE
—The Dynamic Vehicle Routing Problem (DVRP) is an optimization problem in which agents deliver orders that are not known in advance to the routing. Partial solutions need to be a...