3909 search results - page 460 / 782 » Extreme Model Checking |
101
click to vote
FPL
2008
Springer
15 years 6 months ago
2008
Springer
A Customized Reconfigurable Interconnection Network (CRIN) refers to a minimal switching network, yielding routing solutions for any element in a pre-given set of routing requirem...
130
click to vote
COLING
2008
15 years 6 months ago
2008
Creative metaphor is a phenomenon that stretches and bends the conventions of semantic description, often to humorous and poetic extremes. The computational modeling of metaphor t...
122
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
Automated political districting shares with electronic voting the aim of preventing electoral manipulation and pursuing an impartial electoral mechanism. Political districting can...
128
click to vote
HCI
2007
15 years 6 months ago
2007
So far, culture has played a minor role in the design of software. Our experience with imbuto, a program designed for Rwandan agricultural advisors, has shown that cultural adaptat...
121
click to vote
NIPS
2008
15 years 6 months ago
2008
We study the profit-maximization problem of a monopolistic market-maker who sets two-sided prices in an asset market. The sequential decision problem is hard to solve because the ...