7991 search results - page 147 / 1599 » Using More Reasoning to Improve |
150
click to vote
ICPADS
2007
IEEE
16 years 10 days ago
2007
IEEE
In recent years, massively multiplayer online games (MMOGs) have become more and more popular. Many techniques have been proposed to enhance the experience of using MMOGs, such as...
173
click to vote
PRESENCE
1998
15 years 5 months ago
1998
Two experiments investigated components of participants’ spatial knowledge when they navigated large-scale ‘‘virtual buildings’’ using ‘‘desk-top’’ (i.e., nonimm...
157
click to vote
JAIR
2010
15 years 4 months ago
2010
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning s...
190
click to vote
LPAR
2012
Springer
14 years 1 months ago
2012
Springer
E-matching is the most commonly used technique to handle quantifiers in SMT solvers. It works by identifying characteristic subexpressions of quantified formulae, named triggers,...
154
click to vote
CBMS
2008
IEEE
16 years 15 days ago
2008
IEEE
Performance on an information gathering task is shown to be superior in teleconference. Analysis of errors in an exercise revealed the data sources used in co-located and teleconf...