1623 search results - page 179 / 325 » No Sorting |
163
Voted
DLOG
2010
15 years 4 months ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...
157
Voted
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Disunification is an extension of unification to first-order formulae over syntactic equality atoms. Instead of considering only syntactic equality, I extend a disunifica...
189
click to vote
AMSTERDAM
2009
15 years 4 months ago
2009
Because (of) is ambiguous between a `reason' and a `plain cause' interpretation. Presenting a semantic analysis within the framework of Discourse Representation Theory, I...
149
Voted
DRR
2009
15 years 4 months ago
2009
Analyzing paper-based election ballots requires finding all marks added to the base ballot. The position, size, shape, rotation and shade of these marks are not known a priori. Sc...
215
click to vote
EGH
2009
Springer
15 years 3 months ago
2009
Springer
The GPU leverages SIMD efficiency when shading because it rasterizes a triangle at a time, running the same shader on all of its fragments. Ray tracing sacrifices this shader cohe...