Sciweavers

1795 search results - page 20 / 359
» Search by strategy
Sort
View
AISC
2008
Springer
14 years 11 months ago
Strategies for Solving SAT in Grids by Randomized Search
Grid computing offers a promising approach to solving challenging computational problems in an environment consisting of a large number of easily accessible resources. In this pape...
Antti Eero Johannes Hyvärinen, Tommi A. Juntt...
CHI
2009
ACM
15 years 10 months ago
Investigating web search strategies and forum use to support diet and weight loss
Healthcare is shifting from being reactive to preventive, with a focus on maintaining general wellness through positive decisions on diet, exercise, and lifestyle. In this paper, ...
m. c. schraefel, Ryen W. White, Paul André,...
102
Voted
HCI
2009
14 years 7 months ago
Flight Searching - A Comparison of Two User-Interface Design Strategies
The most usable user-interface is not necessarily the most popular. For example, the extent to which an interaction is based on graphics can depend highly on convention rather than...
Antti Pirhonen, Niko Kotilainen
TIME
2005
IEEE
15 years 3 months ago
Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
Artie Basukoski, Alexander Bolotov
ITSSA
2006
100views more  ITSSA 2006»
14 years 9 months ago
A General Framework for Multi-agent Search with Individual and Global Goals: Stakeholder Search
: Stakeholder search is a general framework for an extension to the improving on the competition approach paradigm for cooperative search that allows for additional individual goal...
Alan Fedoruk, Jörg Denzinger