Sciweavers

755 search results - page 55 / 151
» ideas 2005
Sort
View
IWANN
2005
Springer
15 years 3 months ago
Heuristic Search over a Ranking for Feature Selection
In this work, we suggest a new feature selection technique that lets us use the wrapper approach for finding a well suited feature set for distinguishing experiment classes in hig...
Roberto Ruiz, José Cristóbal Riquelm...
KES
2005
Springer
15 years 3 months ago
Sustainable Memory System Using Global and Conical Spaces
: We present a concept and implementation of a computational support for spatial memory management and describe its temporal evolution. Our essential idea is to use an immersible g...
Hidekazu Kubota, Satoshi Nomura, Yasuyuki Sumi, To...
KES
2005
Springer
15 years 3 months ago
Analysis and Synthesis of Help-Desk Responses
Abstract. We present a corpus-based approach for the automatic analysis and synthesis of email responses to help-desk requests. This approach can be used to automatically deal with...
Yuval Marom, Ingrid Zukerman
KES
2005
Springer
15 years 3 months ago
Measurement of Human Concentration with Multiple Cameras
Abstract. We propose a new method to estimate human change of concentration from multiple camera views of the human. In our method, human state of concentration is observed as self...
Kazuhiko Sumi, Koichi Tanaka, Takashi Matsuyama
LPAR
2005
Springer
15 years 3 months ago
Functional Correctness Proofs of Encryption Algorithms
Abstract. We discuss a collection of mechanized formal proofs of symmetric key block encryption algorithms (AES, MARS, Twofish, RC6, Serpent, IDEA, and TEA), performed in an imple...
Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, K...