1757 search results - page 172 / 352 » Alternating Refinement Relations |
96
Voted
IJCAI
2007
15 years 5 months ago
2007
In many real-world collective decision problems, the set of alternatives is a Cartesian product of finite value domains for each of a given set of variables. The prohibitive size...
135
Voted
INTERACT
2007
15 years 5 months ago
2007
The rise of wireless networks and portable computing devices has been accompanied by an increasing interest in technology and mobility, and in the urban environment as a site of in...
142
Voted
JURIX
2007
15 years 5 months ago
2007
Today’s argumentation software mostly emphasizes the logical structure of reasoning, and especially the structure as it can be represented in boxes-andarrows style diagrams. In t...
129
Voted
PTS
2008
15 years 5 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
116
click to vote
NIPS
2007
15 years 5 months ago
2007
We present an efficient generalization of the sparse pseudo-input Gaussian process (SPGP) model developed by Snelson and Ghahramani [1], applying it to binary classification pro...