Sciweavers

3457 search results - page 219 / 692
» A Symbol Is Not a Symbol
Sort
View
ERLANG
2003
ACM
15 years 11 months ago
Automated test generation for industrial Erlang applications
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
Johan Blom, Bengt Jonsson
MICAI
2010
Springer
15 years 5 months ago
Music Composition Based on Linguistic Approach
Music is a form of expression. Since machines have limited capabilities in this sense, our main goal is to model musical composition process, to allow machines to express themselve...
Horacio Alberto García Salas, Alexander F. ...
SIGCOMM
2010
ACM
15 years 6 months ago
Design and implementation of an "approximate" communication system for wireless media applications
All practical wireless communication systems are prone to errors. At the symbol level such wireless errors have a well-defined structure: when a receiver decodes a symbol erroneou...
Sayandeep Sen, Syed Gilani, Shreesha Srinath, Step...
NLDB
2007
Springer
16 years 20 days ago
Combining Vector Space Model and Multi Word Term Extraction for Semantic Query Expansion
Abstract. In this paper, we target document ranking in a highly technical field with the aim to approximate a ranking that is obtained through an existing ontology (knowledge stru...
Eric SanJuan, Fidelia Ibekwe-Sanjuan, Juan Manuel ...
AAAI
2007
15 years 8 months ago
Recognition of Hand Drawn Chemical Diagrams
Chemists often use hand-drawn structural diagrams to capture and communicate ideas about organic compounds. However, the software available today for specifying these structures t...
Tom Y. Ouyang, Randall Davis