4488 search results - page 500 / 898 » Focusing Search by Using Problem Solving Experience |
200
click to vote
MTV
2003
IEEE
16 years 6 hour ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
258
click to vote
GEM
2010
15 years 4 months ago
2010
Abstract-- The problem of allocating defensive weapon resources to hostile targets is an optimization problem of high military relevance. The need for obtaining the solutions in re...
170
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Surveillance systems have long been used to monitor industrial processes and are becoming increasingly popular in public health and anti-terrorism applications. Most early detecti...
184
click to vote
MM
2005
ACM
16 years 9 days ago
2005
ACM
Labeling faces in news video with their names is an interesting research problem which was previously solved using supervised methods that demand significant user efforts on lab...
177
click to vote
NIPS
2008
15 years 8 months ago
2008
We use graphical models and structure learning to explore how people learn policies in sequential decision making tasks. Studies of sequential decision-making in humans frequently...