Sciweavers

7318 search results - page 216 / 1464
» Models of real-valued measurability
Sort
View
PCI
2009
Springer
15 years 11 months ago
Adaptive Evaluation of Portal Quality: An eGovernment Case
— In this paper we describe a knowledge-based approach that enables the subjective evaluation of portal and e-service quality by users in an adaptive manner. The model for adapti...
Babis Magoutas, Gregoris Mentzas
ACCV
1998
Springer
15 years 11 months ago
Digital Geometric Methods in Image Analysis and Compression
One of the important problems related to image analysis and compression is finding repeated structure. Although the focus of this paper is developing digital geometric models and m...
Ari D. Gross, Longin Jan Latecki
ISCAS
1999
IEEE
119views Hardware» more  ISCAS 1999»
15 years 11 months ago
A SPICE model for simulating the impedance-frequency characteristics of high frequency PIN switching diodes
A SPICE model for the microwave and RF PIN switching diode is presented. The model simulates the important Iregion charge storage phenomenon and its effect on the PIN diode impeda...
Robert H. Caverly, N. Quinn
HUMAN
2003
Springer
16 years 14 days ago
Semantic Web Search Model for Information Retrieval of the Semantic Data
In this paper, we propose the ontology-based semantic web search model to enhance efficiency and accuracy of information retrieval for unstructured and semi-structured documents. N...
Okkyung Choi, SeokHyun Yoon, Myeongeun Oh, Sangyon...
SPIN
1999
Springer
15 years 11 months ago
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
Gerard J. Holzmann