Sciweavers

2056 search results - page 150 / 412
» time 2000
Sort
View
126
Voted
CAISE
2000
Springer
15 years 9 months ago
An Overview of RoZ: A Tool for Integrating UML and Z Specifications
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud
HICSS
2002
IEEE
91views Biometrics» more  HICSS 2002»
15 years 10 months ago
Evaluation of User Search in a Web-Database
The number of Web-databases has exploded during the last years. In order to justify the development of new information resources, it is essential to know if the use of existing re...
Joan C. Nordbotten, Svein Nordbotten
AAAI
2000
15 years 6 months ago
Exploiting a Thesaurus-Based Semantic Net for Knowledge-Based Search
With the growth of on-line information, the need for better resource location services is growing rapidly. A popular goal is to conduct search in terms of concepts, rather than wo...
Peter Clark, John Thompson, Heather Holmback, Lisb...
JISBD
2000
15 years 6 months ago
The Emerging Consensus on the Software Engineering Body of Knowledge
The IEEE Computer Society and the Association for Computing Machinery are working on a joint project to develop a guide to the Software Engineering Body of Knowledge (SWEBOK). Art...
Pierre Bourque, Robert Dupuis, Alain Abran, James ...
NN
2000
Springer
192views Neural Networks» more  NN 2000»
15 years 4 months ago
A new algorithm for learning in piecewise-linear neural networks
Piecewise-linear (PWL) neural networks are widely known for their amenability to digital implementation. This paper presents a new algorithm for learning in PWL networks consistin...
Emad Gad, Amir F. Atiya, Samir I. Shaheen, Ayman E...