4850 search results - page 778 / 970 » Proof and Computation in Geometry |
179
click to vote
AAAI
2010
15 years 8 months ago
2010
Computer agents are increasingly deployed in settings in which they make decisions with people, such as electronic commerce, collaborative interfaces, and cognitive assistants. Ho...
179
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Monotone systems of polynomial equations (MSPEs) are systems of fixedpoint equations X1 = f1(X1, . . . , Xn), . . . , Xn = fn(X1, . . . , Xn) where each fi is a polynomia...
160
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Oblivious transfer (OT) is a primitive of paramount importance in cryptography or, more precisely, two- and multi-party computation due to its universality. Unfortunately...
163
click to vote
IJNSEC
2006
15 years 6 months ago
2006
This paper presents an efficient password-based authenticated encrypted group key agreement protocol immune to dictionary attack under the computation Diffie-Hellman (CDH) assumpt...
168
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
This paper describes a proof of concept for introducing iPods and iPodLinux into a one-semester introductory undergraduate operating systems course. iPodLinux is a version of the ...