3134 search results - page 107 / 627 » Computing full disjunctions |
102
click to vote
ASSETS
2000
ACM
15 years 6 months ago
2000
ACM
This paper reports on a tool for assisting students with visual disabilities in learning how to program. The tool is meant to be used by computer science majors learning the progr...
96
Voted
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
We present a robust, automated oscillator macromodeling technique for extracting comprehensive phase and amplitude macromodels from oscillators' SPICE circuit descriptions. Th...
117
click to vote
IJCAI
2003
15 years 3 months ago
2003
Utility elicitation is a critical function of any automated decision aid, allowing decisions to be tailored to the preferences of a specific user. However, the size and complexit...
ATMOS
2009
15 years 3 months ago
2009
We present a set of three new time-dependent models with increasing flexibility for realistic route planning in flight networks. By these means, we obtain small graph sizes while m...
108
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
In the Trading Agent Competition Ad Auctions Game, agents compete to sell products by bidding to have their ads shown in a search engine's sponsored search results. We report...