Sciweavers

601 search results - page 68 / 121
» Writing for the Year 2000
Sort
View
STTT
2002
69views more  STTT 2002»
14 years 11 months ago
Program model checking as a new trend
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
Klaus Havelund, Willem Visser
TOG
2002
127views more  TOG 2002»
14 years 11 months ago
Progressive lossless compression of arbitrary simplicial complexes
Efficient algorithms for compressing geometric data have been widely developed in the recent years, but they are mainly designed for closed polyhedral surfaces which are manifold ...
Pierre-Marie Gandoin, Olivier Devillers
ECOOPW
2000
Springer
15 years 4 months ago
Metadata and Adaptive Object-Models
Abstract. The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptable. A way t...
Joseph W. Yoder, Reza Razavi
HICSS
2002
IEEE
91views Biometrics» more  HICSS 2002»
15 years 4 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 1 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...