64 search results - page 4 / 13 » First-Order Universality for Real Programs |
AGI
2008
13 years 7 months ago
2008
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...
SIGMOD
2009
ACM
14 years 1 months ago
2009
ACM
Mobile communication data analysis has been often used as a background application to motivate many data mining problems. However, very few data mining researchers have a chance t...
CIKM
2000
Springer
13 years 10 months ago
2000
Springer
—As databases increasingly integrate different types of information such as multimedia, spatial, time-series, and scientific data, it becomes necessary to support efficient retri...
TPHOL
2007
IEEE
14 years 16 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...
ICSE
2005
IEEE-ACM
14 years 6 months ago
2005
IEEE-ACM
Pair programming is a programming technique in which two programmers use one computer to work together on the same task. There is an ongoing debate over the value of pair programm...