897 search results - page 153 / 180 » Identity: How to name it, How to find it |
106
click to vote
CIE
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. We present transformations of linearly ordered sets into ordered abelian groups and ordered fields. We study effective properties of the transformations. In particular, w...
105
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: Determining the function of uncharacterized proteins is a major challenge in the post-genomic era due to the problem's complexity and scale. Identifying a protein...
197
click to vote
POPL
2009
ACM
16 years 12 days ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
108
click to vote
KDD
2004
ACM
16 years 4 days ago
2004
ACM
Web recommender systems anticipate the information needs of on-line users and provide them with recommendations to facilitate and personalize their navigation. There are many appro...
107
click to vote
ICALP
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. We study the problem of maintaining a dynamic tree succinctly, in 2n + o(n) bits, under updates of the following form: insertion or deletion of a leaf, insertion of a nod...