2526 search results - page 80 / 506 » A New Algorithm for Answer Set Computation |
136
Voted
EUSFLAT
2009
15 years 4 days ago
2009
Diverse forms of the concept of opposition are already existent in philosophy, linguistics, psychology and physics. The interplay between entities and opposite entities is apparent...
208
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
131
click to vote
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
This paper is aimed at calibrating the relative posture and position, i.e. extrinsic parameters, of a stationary camera against a 3D reference object which is not directly visible...
117
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Many of the most popular pre-processing methods for Affymetrix expression arrays, such as RMA, gcRMA, and PLIER, simultaneously analyze data across a set of predetermi...
130
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Tor, a distributed Internet anonymizing system, relies on volunteers who run dedicated relays. Other than altruism, these volunteers have no incentive to run relays, causing a lar...