4894 search results - page 353 / 979 » Choices |
200
click to vote
DEON
2010
Springer
15 years 10 months ago
2010
Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
183
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
—In this paper, we address the use of unified spatial relations for symbol description. We present a topologically guided directional relation signature. It references a unique ...
207
click to vote
SCA
2007
15 years 10 months ago
2007
Hinge-based bending models are widely used in the physically-based animation of cloth, thin plates and shells. We propose a hinge-based model that is simpler to implement, more ef...
180
click to vote
AAAI
2008
15 years 10 months ago
2008
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...
180
click to vote
AAAI
2007
15 years 10 months ago
2007
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...