4022 search results - page 266 / 805 » Adaptive Sweeping Techniques |
218
click to vote
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
211
click to vote
AUSAI
2007
Springer
15 years 11 months ago
2007
Springer
Many real-world problems are over-constrained and require search techniques adapted to optimising cost functions rather than searching for consistency. This makes the MAX-SAT probl...
178
click to vote
WWW
2005
ACM
16 years 8 months ago
2005
ACM
With the fast increase in Web activities, Web data mining has recently become an important research topic. However, most previous studies of mining path traversal patterns are bas...
193
click to vote
ICIW
2009
IEEE
16 years 1 months ago
2009
IEEE
— Personalized Web Search becomes nowadays a promising option in the field of Information Retrieval and search engines design by improving both output quality and user experience...
143
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
As technology scaling drives the number of processor cores upward, current on-chip routers consume substantial portions of chip area and power budgets. Since existing research has...