8337 search results - page 1442 / 1668 » Reasoning With Characteristic Models |
146
click to vote
IEEEARES
2009
IEEE
16 years 25 days ago
2009
IEEE
—In voting, the notion of receipt-freeness has been proposed to express that a voter cannot gain any information to prove that she has voted in a certain way. It aims to prevent ...
170
click to vote
PPOPP
2009
ACM
16 years 25 days ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
124
click to vote
CCS
2009
ACM
16 years 24 days ago
2009
ACM
Modern computer systems permit users to access protected information from remote locations. In certain secure environments, it would be desirable to restrict this access to a part...
150
Voted
GIS
2009
ACM
16 years 24 days ago
2009
ACM
We propose an automatic approach to tree detection from aerial imagery. First a pixel-level classifier is trained to assign a {tree, non-tree} label to each pixel in an aerial im...
160
click to vote
LATA
2009
Springer
16 years 24 days ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...