Sciweavers

371 search results - page 65 / 75
» Expanders In Group Algebras
Sort
View
FECS
2006
159views Education» more  FECS 2006»
13 years 9 months ago
Evolving Mathematical Functions with Genetic Algorithms - A Team Project on Artificial Intelligence
- In contrast to most of the senior level Artificial Intelligence (AI) courses where AI is taught in the jargon of theoretical computer science with crowd of complex matrix algebra...
Zhiguang Xu, Chris Neasbitt, Jared Summers, Bill C...
ACS
2008
13 years 7 months ago
Epicompletion in Frames with Skeletal Maps, I: Compact Regular Frames
A frame homomorphism h : A - B is skeletal if x = 1 in A implies that h(x) = 1 in B. It is shown that, in KRegS, the category of compact regular frames with skeletal maps, the subc...
Jorge Martínez, Eric Richard Zenk
IANDC
2008
150views more  IANDC 2008»
13 years 7 months ago
Hierarchical combination of intruder theories
Recently automated deduction tools have proved to be very effective for detecting attacks on cryptographic protocols. These analysis can be improved, for finding more subtle weakn...
Yannick Chevalier, Michaël Rusinowitch
CORR
2006
Springer
94views Education» more  CORR 2006»
13 years 7 months ago
Computing spectral sequences
John McCleary insisted in his interesting textbook entitled "User's guide to spectral sequences" on the fact that the tool "spectral sequence" is not in t...
Ana Romero, Julio Rubio, Francis Sergeraert
EOR
2006
74views more  EOR 2006»
13 years 7 months ago
A mixed-integer programming approach to multi-class data classification problem
This paper presents a new data classification method based on mixed-integer programming. Traditional approaches that are based on partitioning the data sets into two groups perfor...
Fadime Üney Yüksektepe, Metin Türka...