11211 search results - page 2152 / 2243 » Rank-Sensitive Data Structures |
187
Voted
POPL
2003
ACM
16 years 29 days ago
2003
ACM
Given a program and two variables p and q, the goal of points-to analysis is to check if p can point to q in some execution of the program. This well-studied problem plays a cruci...
110
click to vote
RECOMB
2006
Springer
16 years 29 days ago
2006
Springer
Abstract. Protein motions, ranging from molecular flexibility to largescale conformational change, play an essential role in many biochemical processes. Despite the explosion in ou...
111
Voted
CADE
2007
Springer
16 years 29 days ago
2007
Springer
Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that combines 1) Boolean algebra of sets of uninterpreted elements (BA) and 2) Presburger arithmetic (PA). BA...
94
Voted
ICALP
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. We consider the succinct representation of ordinal and cardinal trees on the RAM with logarithmic word size. Given a tree T, our representations support the following ope...
213
Voted
SIGMOD
2009
ACM
16 years 27 days ago
2009
ACM
Nearest neighbor (NN) search in high dimensional space is an important problem in many applications. Ideally, a practical solution (i) should be implementable in a relational data...