4555 search results - page 238 / 911 » Deductive Algorithmic Knowledge |
116
click to vote
CRYPTO
2010
Springer
15 years 4 months ago
2010
Springer
At the heart of many recent lattice-based cryptographic schemes is a polynomial-time algorithm that, given a `high-quality' basis, generates a lattice point according to a Ga...
116
click to vote
TCC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Algorithmic progress and future technology threaten today’s cryptographic protocols. Long-term secure protocols should not even in future reveal more information to aâ€...
161
click to vote
ARGMAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...
121
click to vote
ICMI
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we adopt a direct modeling approach to utilize conversational gesture cues in detecting sentence boundaries, called SUs, in video taped conversations. We treat the ...
149
click to vote
AGENTS
2001
Springer
15 years 7 months ago
2001
Springer
The development of the semantic Web will require agents to use common domain ontologies to facilitate communication of conceptual knowledge. However, the proliferation of domain on...