2386 search results - page 407 / 478 » Representing and Reasoning with Preferences |
AIL
2007
14 years 10 months ago
2007
In this paper, we present an approach to commonsense causal explanation of stories that can be used for automatically determining the liable party in legal case descriptions. The a...
ASE
2008
14 years 10 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
CGF
2008
14 years 10 months ago
2008
Recently, it has become increasingly popular to represent animations not by means of a classical skeleton-based model, but in the form of deforming mesh sequences. The reason for ...
CGF
2008
14 years 10 months ago
2008
Dye advection is widely used in experimental flow analysis but has seen less use for visualization in computational fluid dynamics. One possible reason for this disconnect is the ...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
New upper and lower bounds are presented on the capacity of the free-space optical intensity channel. This channel is characterized by inputs that are nonnegative (representing the...