1368 search results - page 60 / 274 » Personality-Based Practical Reasoning |
157
Voted
CAINE
2010
15 years 20 days 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...
89
Voted
GIS
2010
ACM
15 years 19 days 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 ...
135
Voted
DLOG
2009
15 years 13 days 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....
151
click to vote
LPAR
2012
Springer
13 years 10 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,...
147
Voted
CVPR
2012
IEEE
13 years 5 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...