5090 search results - page 675 / 1018 » Constructing Strategies for Programming |
197
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Since experimental determination of protein folding pathways remains difficult, computational techniques are often used to simulate protein folding. Most current techn...
139
click to vote
COR
2006
15 years 6 months ago
2006
This paper analyzes a legendary Chinese horse race problem involving the King of Qi and General Tianji which took place more than 2000 years ago. In this problem each player owns ...
207
click to vote
AI
2010
Springer
15 years 3 months ago
2010
Springer
How do we build algorithms for agent interactions with human adversaries? Stackelberg games are natural models for many important applications that involve human interaction, such...
207
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Recent research in multi-robot exploration and mapping has focused on sampling environmental fields, which are typically modeled using the Gaussian process (GP). Existing informa...
178
click to vote
SPAA
2009
ACM
16 years 7 months ago
2009
ACM
Transactional memory (TM) eliminates many problems associated with lock-based synchronization. Over recent years, much progress has been made in software and hardware implementati...