Sciweavers

816 search results - page 25 / 164
» Practical Multi-level Modeling on MOF-compliant Modeling Fra...
Sort
View
ASPDAC
2005
ACM
118views Hardware» more  ASPDAC 2005»
14 years 11 months ago
Wideband modeling of RF/Analog circuits via hierarchical multi-point model order reduction
This paper proposes a novel wideband modeling technique for high-performance RF passives and linear(ized) analog circuits. The new method is based on a recently proposed sdomain h...
Zhenyu Qi, Sheldon X.-D. Tan, Hao Yu, Lei He
UMUAI
2008
111views more  UMUAI 2008»
14 years 9 months ago
Mediation of user models for enhanced personalization in recommender systems
Abstract. Provision of personalized recommendations to users requires accurate modeling of their interests and needs. This paper proposes a general framework and specific methodolo...
Shlomo Berkovsky, Tsvi Kuflik, Francesco Ricci
CADE
2004
Springer
15 years 10 months ago
Model Checking Using Tabled Rewriting
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
Zhiyao Liang
ESORICS
2006
Springer
15 years 1 months ago
Towards an Information-Theoretic Framework for Analyzing Intrusion Detection Systems
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...
Guofei Gu, Prahlad Fogla, David Dagon, Wenke Lee, ...
HICSS
2007
IEEE
630views Biometrics» more  HICSS 2007»
15 years 4 months ago
The Ability-Motivation-Opportunity Framework for Behavior Research in IS
Some theoretical models used in IS research may lack explanatory power and consistency because of their failure to provide an adequate means of accounting for contextual and situa...
Jerald Hughes