4761 search results - page 804 / 953 » Generalizing Boundary Points |
226
Voted
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
204
Voted
POPL
2003
ACM
16 years 1 months ago
2003
ACM
Multimedia and network processing applications make extensive use of subword data. Since registers are capable of holding a full data word, when a subword variable is assigned a r...
237
Voted
POPL
2001
ACM
16 years 1 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
148
click to vote
RECOMB
2004
Springer
16 years 1 months ago
2004
Springer
In situ staining of a target mRNA at several time points during the development of a D. melanogaster embryo gives one a detailed spatio-temporal view of the expression pattern of ...
189
Voted
SIGMOD
2008
ACM
16 years 27 days ago
2008
ACM
Mobile devices equipped with positioning capabilities (e.g., GPS) can ask location-dependent queries to Location Based Services (LBS). To protect privacy, the user location must n...