11949 search results - page 273 / 2390 » Some results on (a:b)-choosability |
136
click to vote
JSAT
2010
14 years 8 months ago
2010
In this paper we analyze three well-known preprocessors for Max-SAT. The first preprocessor is based on the so-called variable saturation. The second preprocessor is based on the ...
144
click to vote
COMPGEOM
2011
ACM
14 years 5 months ago
2011
ACM
Abstract. We study the grid size that is needed to represent intersection graphs of convex polygons. Here the polygons are similar to a base polygon P whose corners have rational c...
WWW
2008
ACM
16 years 2 months ago
2008
ACM
In Web search ranking, the expected results for some queries could vary greatly depending upon location of the user. We name such queries regional sensitive queries. Identifying r...
ICCD
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper presents a novel microarchitecture to exploit trace-level speculation by means of two threads working cooperatively in a speculative and non-speculative way respectivel...
101
click to vote
IAT
2009
IEEE
15 years 8 months ago
2009
IEEE
—When information or control in a multiagent system is private to the agents, they may misreport this information or refuse to execute an agreed outcome, in order to change the r...