Sciweavers

1816 search results - page 31 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
ACL
1998
13 years 9 months ago
Learning Intonation Rules for Concept to Speech Generation
In this paper, we report on an effort to provide a general-purpose spoken language generation tool for Concept-to-Speech (CTS) applications by extending a widely used text generat...
Shimei Pan, Kathleen McKeown
ICPR
2010
IEEE
13 years 6 months ago
EEG-based Personal Identification: from Proof-of-Concept to A Practical System
Although the concept of using brain waves, e.g. Electroencephalogram (EEG), for personal identification has been validated in several studies, some unanswered practical and theoret...
Fei Su, Liwen Xia, Anni Cai, Yibing Wu, Junshui Ma
JSW
2007
102views more  JSW 2007»
13 years 8 months ago
Model-driven Engineering for Early QoS Validation of Component-based Software Systems
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
James H. Hill, Aniruddha S. Gokhale
ICSE
1994
IEEE-ACM
14 years 17 days ago
Applying Formal Methods for Human Error Tolerant Design
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
Bob Fields, Peter C. Wright, Michael D. Harrison
CLA
2007
13 years 10 months ago
Representing Numeric Values in Concept Lattices
Formal Concept Analysis is based on the occurrence of symbolic attributes in individual objects, or observations. But, when the attribute is numeric, treatment has been awkward. In...
John L. Pfaltz