Sciweavers

14642 search results - page 2505 / 2929
» It's Time for a Change
Sort
View
CIKM
2008
Springer
15 years 9 months ago
What should blog search look like?
Blog search has not yet reached its full potential. In this position paper, we suggest that more could be done to accommodate the task of finding good blogs to read, especially wi...
Marti A. Hearst, Matthew Hurst, Susan T. Dumais
ASPDAC
2005
ACM
120views Hardware» more  ASPDAC 2005»
15 years 9 months ago
STACCATO: disjoint support decompositions from BDDs through symbolic kernels
Abstract— A disjoint support decomposition (DSD) is a representation of a Boolean function F obtained by composing two or more simpler component functions such that the component...
Stephen Plaza, Valeria Bertacco
ATAL
2005
Springer
15 years 9 months ago
Automated resource-driven mission phasing techniques for constrained agents
A constrained agent is limited in the actions that it can take at any given time, and a challenging problem is to design policies for such agents to do the best they can despite t...
Jianhui Wu, Edmund H. Durfee
ATAL
2006
Springer
15 years 9 months ago
Evaluating bidding strategies for simultaneous auctions
Bidding for multiple items or bundles on online auctions raises challenging problems. We assume that an agent has a valuation function that returns its valuation for an arbitrary ...
Teddy Candale, Sandip Sen
CIE
2005
Springer
15 years 9 months ago
Shrad: A Language for Sequential Real Number Computation
Since Di Gianantonio [1993] introduced his semantics for exact real omputation, there has always been a struggle to maintain data abstraction and efficiency as much as possible. T...
Amin Farjudian
« Prev « First page 2505 / 2929 Last » Next »