Sciweavers

5022 search results - page 630 / 1005
» Data structures and problem solving using Java
Sort
View
125
Voted
JAR
2000
90views more  JAR 2000»
15 years 3 months ago
Resolution versus Search: Two Strategies for SAT
The paper compares two popular strategies for solving propositional satis ability, backtracking search and resolution, and analyzes the complexity of a directional resolution algo...
Irina Rish, Rina Dechter
156
Voted
ATAL
2011
Springer
14 years 3 months ago
Concise characteristic function representations in coalitional games based on agent types
Forming effective coalitions is a major research challenge in AI and multi-agent systems (MAS). Thus, coalitional games, including Coalition Structure Generation (CSG), have been ...
Suguru Ueda, Makoto Kitaki, Atsushi Iwasaki, Makot...
121
Voted
ISCIS
2009
Springer
15 years 10 months ago
Single stripe projection based range scanning of shiny objects under ambient light
—Range scanners are used in various applications in industry. Therefore, various range scanners, based on different working principles are developed. Among these, scanners using ...
Rifat Benveniste, Cem Ünsalan
138
Voted
ICRA
2002
IEEE
100views Robotics» more  ICRA 2002»
15 years 8 months ago
Preliminary Results in Range-Only Localization and Mapping
This paper presents methods of localization using cooperating landmarks (beacons) that provide the ability to measure range only. Recent advances in radio frequency technology mak...
George Kantor, Sanjiv Singh
132
Voted
HEURISTICS
2008
92views more  HEURISTICS 2008»
15 years 3 months ago
Learning heuristics for basic block instruction scheduling
Instruction scheduling is an important step for improving the performance of object code produced by a compiler. A fundamental problem that arises in instruction scheduling is to ...
Abid M. Malik, Tyrel Russell, Michael Chase, Peter...