1368 search results - page 60 / 274 » Personality-Based Practical Reasoning |
150
click to vote
CAINE
2010
14 years 12 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...
GIS
2010
ACM
14 years 12 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 ...
129
Voted
DLOG
2009
14 years 11 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....
141
click to vote
LPAR
2012
Springer
13 years 9 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,...
137
click to vote
CVPR
2012
IEEE
13 years 4 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...