143 search results - page 6 / 29 » An axiomatic approach to algebrization |
100
click to vote
MSS
2008
IEEE
14 years 11 months ago
2008
IEEE
An individual is asked to assess a real-valued variable y based on certain characteristics x=(x1 ,..., xm ), and on a database consisting of n observations of (x1 ,..., xm , y). A...
99
Voted
IFIP
2009
Springer
14 years 9 months ago
2009
Springer
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...
123
Voted
AI
2011
Springer
14 years 6 months ago
2011
Springer
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
AISC
2008
Springer
15 years 1 months ago
2008
Springer
We introduce high-level theories in analogy with high-level programming languages. The basic point is that even though one can define many theories via simple, low-level axiomatiza...
113
Voted
ACL
1990
15 years 25 days ago
1990
In contrast to the "designer logic" approach, this paper shows how the attribute-value feature structures of unification grammar and constraints on them can be axiomatiz...