Sciweavers

10802 search results - page 1784 / 2161
» Generative and developmental systems
Sort
View
ICBA
2004
Springer
171views Biometrics» more  ICBA 2004»
16 years 5 days ago
Face Recognition with 3D Model-Based Synthesis
Abstract. Current appearance-based face recognition system encounters the difficulty to recognize faces with appearance variations, while only a small number of training images are...
Xiaoguang Lu, Rein-Lien Hsu, Anil K. Jain, Behrooz...
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
16 years 5 days ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
IPTPS
2004
Springer
16 years 5 days ago
Making Peer-to-Peer Keyword Searching Feasible Using Multi-level Partitioning
—This paper discusses large scale keyword searching on top of peer-to-peer (P2P) networks. The state-of-the-art keyword searching techniques for unstructured and structured P2P s...
Shuming Shi, Guangwen Yang, Dingxing Wang, Jin Yu,...
ISMIR
2004
Springer
202views Music» more  ISMIR 2004»
16 years 5 days ago
Automatic Chord Transcription with Concurrent Recognition of Chord Symbols and Boundaries
This paper describes a method that recognizes musical chords from real-world audio signals in compact-disc recordings. The automatic recognition of musical chords is necessary for...
Takuya Yoshioka, Tetsuro Kitahara, Kazunori Komata...
ISW
2004
Springer
16 years 5 days ago
A Distributed High Assurance Reference Monitor
Abstract Ajay Chander1 , Drew Dean2 , and John Mitchell3 1 DoCoMo Communications Laboratories USA, San Jose, CA 95110 2 Computer Science Laboratory, SRI International, Menlo Park, ...
Ajay Chander, Drew Dean, John C. Mitchell
« Prev « First page 1784 / 2161 Last » Next »