3775 search results - page 725 / 755 » The Expression Problem Revisited |
93
Voted
LICS
1991
IEEE
15 years 1 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
159
click to vote
CIVR
2010
Springer
15 years 25 days ago
2010
Springer
The human face is one of the most important objects in videos since it provides rich information for spotting certain people of interest, such as government leaders in news video,...
122
click to vote
ISMB
2008
14 years 12 months ago
2008
Motivation: Array-based comparative genomic hybridization (arrayCGH) has recently become a popular tool to identify DNA copy number variations along the genome. These profiles are...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents MADeM, a multi-modal agent decision making to provide virtual agents with socially acceptable decisions. We consider multi-modal decisions as those that are ab...
89
Voted
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Many applications of networks of agents, including mobile sensor networks, unmanned air vehicles, autonomous underwater vehicles, involve 100s of agents acting collaboratively und...