13090 search results - page 2434 / 2618 » Usable artificial intelligence |
194
click to vote
CSCLP
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
154
click to vote
DEON
2004
Springer
15 years 11 months ago
2004
Springer
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...
150
click to vote
DEON
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
156
click to vote
DRM
2004
Springer
15 years 11 months ago
2004
Springer
Today, database relations are widely used and distributed over the Internet. Since these data can be easily tampered with, it is critical to ensure the integrity of these data. In...
142
click to vote
DRM
2004
Springer
15 years 11 months ago
2004
Springer
Recently, there is a growing interest in the research community to use tamper-resistant processors for software copy protection. Many of these tamper-resistant systems rely on a s...