190 search results - page 19 / 38 » A Simple Proof Technique for Certain Parametricity Results |
ISI
2008
Springer
13 years 7 months ago
2008
Springer
Often several cooperating parties would like to have a global view of their joint data for various data mining objectives, but cannot reveal the contents of individual records due...
VMV
2008
13 years 9 months ago
2008
Machine learning with few training examples always leads to over-fitting problems, whereas human individuals are often able to recognize difficult object categories from only one ...
JVCA
2007
13 years 7 months ago
2007
In this paper, we present an example-based motion synthesis technique. Users can interactively control the virtual character to perform desired actions in any order. The desired a...
CSL
2001
Springer
14 years 2 days ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ï...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
— The advent of network coding presents promising opportunities in many areas of communication and networking. It has been recently shown that network coding technique can signiï...