17920 search results - page 3257 / 3584 » Recentering computer science |
155
click to vote
BTW
2009
Springer
16 years 1 months ago
2009
Springer
: Users of front office applications such as call center or customer support applications make millions and millions of decisions each day without analytical support. For example, ...
174
click to vote
COCO
2009
Springer
16 years 1 months ago
2009
Springer
—The Gap-Hamming-Distance problem arose in the context of proving space lower bounds for a number of key problems in the data stream model. In this problem, Alice and Bob have to...
155
click to vote
COCO
2009
Springer
16 years 1 months ago
2009
Springer
—In 1982, Kannan showed that ΣP 2 does not have nk -sized circuits for any k. Do smaller classes also admit such circuit lower bounds? Despite several improvements of Kannan’s...
172
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
196
Voted
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Debugging virtual machines (VMs) presents unique challenges, especially meta-circular VMs, which are written in the same language they implement. Making sense of runtime ...