278 search results - page 56 / 56 » A Framework for Counterexample Generation and Exploration |
120
click to vote
COMPUTER
2007
15 years 9 days ago
2007
and therefore should be implemented outside the sensory-motor system. This way, meaning for a concept amounts to the content of a symbolic expression, a definition of the concept ...
113
Voted
SIGIR
2008
ACM
15 years 7 days ago
2008
ACM
The classical probabilistic models attempt to capture the Ad hoc information retrieval problem within a rigorous probabilistic framework. It has long been recognized that the prim...
134
click to vote
IACR
2011
13 years 12 months ago
2011
Fully homomorphic encryption (FHE) provides a simple template for secure computation between two parties (Alice and Bob) where: (I) Alice encrypts her input under her key, (II) Bo...