10275 search results - page 1960 / 2055 » Case Studies of Autonomy |
191
click to vote
DALT
2008
Springer
15 years 8 months ago
2008
Springer
ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...
157
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Building adaptive constraint solvers is a major challenge in constraint programming. An important line of research towards this goal is concerned with ways to dynamically adapt th...
178
click to vote
ICCAD
2007
IEEE
15 years 8 months ago
2007
IEEE
– Interconnect issues are becoming increasingly important for ULSI systems. IntSim, an interconnect CAD tool, has been developed to obtain pitches of different wiring levels and ...
164
click to vote
ELPUB
2008
ACM
15 years 8 months ago
2008
ACM
It has been noted that one of the potential benefits of Open Access is the increase in visibility for research output from less developed countries. However little is known about ...
247
click to vote
EUROISI
2008
15 years 8 months ago
2008
The tragic events of September 11th have caused drastic effects on many aspects of society. Academics in the fields of computational and information science have been called upon ...