1040 search results - page 1 / 208 » Tools for modeling and solving search problems |
AICOM
2006
13 years 7 months ago
2006
ERCIMDL
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents a research proposal on user -oriented evaluation method to compar e the usability of Internet search tools. Cognitive style and problem solving style are identi...
ICCS
2003
Springer
14 years 23 days ago
2003
Springer
In many areas of design search and optimisation one needs to utilize Computational Fluid Dynamics (CFD) methods in order to obtain numerical solution of the flow field in and/or ...
AAAI
2000
13 years 9 months ago
2000
Combinatorial auctions (CAs) have emerged as an important model in economics and show promise as a useful tool for tackling resource allocation in AI. Unfortunately, winner determ...
STTT
2010
13 years 2 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...