663 search results - page 23 / 133 » Applying Two New Methods to the Teaching of Computer Archite... |
TLCA
2007
Springer
15 years 3 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
108
click to vote
CVPR
1999
IEEE
15 years 11 months ago
1999
IEEE
Image-based and model-based methods are two representative rendering methods for generating virtual images of objects from their real images. Extensive research on these two metho...
ENTCS
2002
14 years 9 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
AAAI
2010
14 years 7 months ago
2010
Different solvers for computationally difficult problems such as satisfiability (SAT) perform best on different instances. Algorithm portfolios exploit this phenomenon by predicti...
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
Kernel methods have been widely studied in the field of pattern recognition. These methods implicitly map, "the kernel trick," the data into a space which is more approp...