4403 search results - page 276 / 881 » Galois Theory of Algorithms |
173
click to vote
AI
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Large document collections, such as those delivered by Internet search engines, are difficult and time-consuming for users to read and analyse. The detection of common an...
145
click to vote
MKM
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
150
click to vote
MIR
2006
ACM
16 years 19 days ago
2006
ACM
Multimedia information retrieval is a highly diverse field. A variety of data types, research problems, methodologies are involved. Researchers in the field come from very diff...
175
click to vote
SPAA
2005
ACM
16 years 7 days ago
2005
ACM
A weighted undirected network is ∆ growth-bounded if the number of nodes at distance 2r around any given node is at most ∆ times the number of nodes at distance r around the n...
184
click to vote
CCS
2005
ACM
16 years 6 days ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...