Sciweavers

452 search results - page 71 / 91
» Finding bugs is easy
Sort
View
TSMC
2002
149views more  TSMC 2002»
13 years 7 months ago
A consensus model for multiperson decision making with different preference structures
In this paper, we present a consensus model for multiperson decision making (MPDM) problems with different preference structures based on two consensus criteria: 1) a consensus mea...
Enrique Herrera-Viedma, Francisco Herrera, Francis...
MANSCI
2010
104views more  MANSCI 2010»
13 years 6 months ago
Valuing Money and Things: Why a $20 Item Can Be Worth More and Less Than $20
The study of risky decision-making has long used monetary gambles to study choice, but many everyday decisions do not involve the prospect of winning or losing money. Monetary gam...
A. Peter McGraw, Eldar Shafir, Alexander Todorov
NAACL
2010
13 years 6 months ago
Hitting the Right Paraphrases in Good Time
We present a random-walk-based approach to learning paraphrases from bilingual parallel corpora. The corpora are represented as a graph in which a node corresponds to a phrase, an...
Stanley Kok, Chris Brockett
TAP
2010
Springer
134views Hardware» more  TAP 2010»
13 years 6 months ago
Testing First-Order Logic Axioms in Program Verification
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
Ki Yung Ahn, Ewen Denney
EMNLP
2009
13 years 5 months ago
Geo-mining: Discovery of Road and Transport Networks Using Directional Patterns
One of the most desired information types when planning a trip to some place is the knowledge of transport, roads and geographical connectedness of prominent sites in this place. ...
Dmitry Davidov, Ari Rappoport