Sciweavers

3825 search results - page 391 / 765
» More on pooling spaces
Sort
View
ICTAI
2003
IEEE
16 years 2 days ago
MFSAT: A SAT Solver Using Multi-Flip Local Search
Local search-based methods of SAT solving have received a significant attention in the last decade. All local search-based methods choose the next truth assignment by flipping t...
Amol Dattatraya Mali, Yevgeny Lipen
MM
2003
ACM
125views Multimedia» more  MM 2003»
16 years 1 days ago
Essistants
One of the challenges the service providers currently face is the ability to introduce a variety of services at a minimal cost and impact to their customers. These services often ...
Christos Tryfonas, James Schumacher
WWW
2003
ACM
16 years 1 days ago
The V2 Temporal Document Database System
Support for temporal text-containment queries (query for all versions of documents that contained one or more particular words at a particular time t) is of interest in a number of...
Kjetil Nørvåg
EWMF
2003
Springer
16 years 7 hour ago
Greedy Recommending Is Not Always Optimal
Abstract. Recommender systems suggest objects to users. One form recommends documents or other objects to users searching information on a web site. A recommender system can be use...
Maarten van Someren, Vera Hollink, Stephan ten Hag...
FPL
2003
Springer
259views Hardware» more  FPL 2003»
16 years 6 hour ago
Branch Optimisation Techniques for Hardware Compilation
Abstract. This paper explores using information about program branch probabilities to optimise reconfigurable designs. The basic premise is to promote utilization by dedicating mo...
Henry Styles, Wayne Luk