892 search results - page 62 / 179 » Strategies in sentential reasoning |
161
click to vote
CLIMA
2009
15 years 2 months ago
2009
Abstract. No intelligent decision support system functions even remotely without knowing the preferences of the user. A major problem is that the way average users think about and ...
138
click to vote
SAGT
2009
Springer
15 years 11 months ago
2009
Springer
Congestion games—in which players strategically choose from a set of “resources” and derive utilities that depend on the congestion on each resource— are important in a wid...
127
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
: Two problem solving strategies, forward chaining and backward chaining, were compared to see how they affect students’ learning of geometry theorem proving with construction. I...
149
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Next-generation high throughput sequencing instruments are capable of generating hundreds of millions of reads in a single run. Mapping those reads to a reference genome is an ext...
188
click to vote
DLS
2009
15 years 2 months ago
2009
Software transactional memory (STM) is a promising approach for coordinating concurrent threads, for which many implementation strategies are currently being researched. Although ...