1368 search results - page 60 / 274 » Personality-Based Practical Reasoning |
178
Voted
CAINE
2010
15 years 3 months ago
2010
Virtual reality (VR) technology has the potential to provide unique perspectives of data that are not possible with standard desktop hardware. The tracking devices often found wit...
107
click to vote
GIS
2010
ACM
15 years 3 months ago
2010
ACM
We consider the problem of automatically cleaning massive sonar data point clouds, that is, the problem of automatically removing noisy points that for example appear as a result ...
155
Voted
DLOG
2009
15 years 2 months ago
2009
Abstract. Multi-attribute negotiation has been extensively studied from a gametheoretic viewpoint. In negotiation settings, utility functions are used to express agent preferences....
175
Voted
LPAR
2012
Springer
14 years 16 days 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,...
173
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...