3016 search results - page 403 / 604 » A Granular Approach to Web Search Result Presentation |
CG
2002
Springer
15 years 1 months ago
2002
Springer
Abstract. Post's correspondence problem (PCP) is a classic undecidable problem. Its theoretical unbounded search space makes it hard to judge whether a PCP instance has a solu...
113
click to vote
DAC
2001
ACM
16 years 2 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
105
click to vote
ECIR
2009
Springer
15 years 11 months ago
2009
Springer
Many people take pictures of different city landmarks and post them to photo-sharing systems like Flickr. They also add tags and place photos in Flickr groups, created around parti...
119
click to vote
EUROCAST
2009
Springer
15 years 8 months ago
2009
Springer
The bounded diameter minimum spanning tree problem is an NP-hard combinatorial optimization problem arising in particular in network design. There exist various exact and metaheuri...
107
click to vote
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we present the application of evolutionary optimization methods to a demanding, industrially relevant engineering domain, the three-dimensional optimization of gas ...