Sciweavers

2741 search results - page 121 / 549
» Engineering Mathematical Knowledge
Sort
View
HICSS
2003
IEEE
193views Biometrics» more  HICSS 2003»
15 years 7 months ago
Message Sense Maker: Engineering a Tool Set for Customer Relationship Management
To determine the important trends and issues in thousands of comments from customers and make strategic decisions about business operations, managers must go over these messages m...
Dmitri Roussinov, J. Leon Zhao
TPHOL
1998
IEEE
15 years 6 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
WSC
2008
15 years 4 months ago
Generating artificial populations using a multi-level fuzzy inference engine
The design of complex artificial populations is the first step in simulating evolution during the time span of socioeconomic variables as the family income. In this paper, a new h...
Carlos R. Garcia-Alonso, Gabriel M. Perez-Alcala
CAISE
2008
Springer
15 years 4 months ago
Round-Trip Engineering for Maintaining Conceptual-Relational Mappings
Conceptual-relational mappings between conceptual models and relational schemas have been used increasingly to achieve interoperability or overcome impedance mismatch in modern dat...
Yuan An, Xiaohua Hu, Il-Yeol Song
AAAI
2008
15 years 3 months ago
Intelligent Output Interface for Intelligent Medical Search Engine
To facilitate ordinary people to search medical information, we have built an intelligent medical Web search engine called iMed. iMed uses medical knowledge and an interactive que...
Gang Luo