2623 search results - page 331 / 525 » Universal Learning Theory |
173
click to vote
TPHOL
2007
IEEE
16 years 23 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
220
click to vote
CSL
2007
Springer
16 years 20 days ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ļ...
171
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
202
click to vote
EFDBS
2003
15 years 7 months ago
2003
A deļ¬nition of types in an information system is given from ld abstractions through data constructs, schema and deļ¬nitions to physical data values. Category theory suggests tha...
209
click to vote
ECSCW
1993
15 years 7 months ago
1993
: Drawing on writings within the CSCW community and on recent social theory, this paper proposes that the adoption of speech act theory as a foundation for system design carries wi...