6020 search results - page 205 / 1204 » A New Approach to Model Counting |
138
click to vote
ICRA
1993
IEEE
15 years 9 months ago
1993
IEEE
Navigationalpath planning is a classicalproblem in autonomous mobile robotics. Most AI approachesto path planning use goal-directedheuristicsearch of problem spaces defined by spa...
136
click to vote
UAI
2000
15 years 6 months ago
2000
A simple advertising strategy that can be used to help increase sales of a product is to mail out special o ers to selected potential customers. Because there is a cost associated...
208
click to vote
TFS
2010
14 years 11 months ago
2010
At present, the development in the nascent field of synthetic gene networks is still difficult. Most newly created gene networks are nonfunctioning due to intrinsic parameter fluct...
165
click to vote
CP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Selecting conformations for side-chains is an important subtask in building three-dimensional protein models. Side-chain placement is a difficult problem because of the l...
159
Voted
ECLIPSE
2005
ACM
15 years 6 months ago
2005
ACM
Software program families have a long tradition and will gain momentum in the future. Today’s research tries to move software development to a new quality of industrial producti...