1977 search results - page 294 / 396 » The satisfactory partition problem |
154
Voted
APNOMS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Wireless sensor network is a suitable technology for ubiquitous environment. However, in WSN, as the network size grows larger, overheads such as flooding, calculation an...
115
Voted
ISSRE
2007
IEEE
15 years 5 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
271
Voted
GRAPHICSINTERFACE
2008
15 years 5 months ago
2008
Shadow maps are commonly used in real-time rendering, but they cannot be filtered linearly like standard color, resulting in severe aliasing. Variance shadow maps resolve this pro...
98
Voted
IJCAI
2007
15 years 5 months ago
2007
Accurate entity resolution is sometimes impossible simply due to insufficient information. For example, in research paper author name resolution, even clever use of venue, title ...
115
Voted
IPCO
2007
15 years 5 months ago
2007
We introduce orbital branching, an effective branching method for integer programs containing a great deal of symmetry. The method is based on computing groups of variables that a...