Sciweavers

4872 search results - page 122 / 975
» CBR for Modeling Complex Systems
Sort
View
ESORICS
2005
Springer
15 years 10 months ago
On Scalability and Modularisation in the Modelling of Network Security Systems
Abstract. As the use of computers and data communication technologies spreads, network security systems are becoming increasingly complex, due to the incorporation of a variety of ...
João Porto de Albuquerque, Heiko Krumm, Pau...
ACSD
2003
IEEE
159views Hardware» more  ACSD 2003»
15 years 9 months ago
Case Studies of Model Checking for Embedded System Designs
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
AIMDM
1999
Springer
15 years 8 months ago
Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach
Knowledge representation has always been a major problem in the design of medical decision support systems. In this paper we present a new methodology to represent and reason about...
Jorge Cruz, Pedro Barahona, Frédéric...
140
Voted
SIGIR
1999
ACM
15 years 8 months ago
A Hidden Markov Model Information Retrieval System
We present a new method for information retrievalusing hidden Markov models (HMMs). We develop a general framework for incorporating multiple word generation mechanisms within the...
David R. H. Miller, Tim Leek, Richard M. Schwartz
ICTAI
2008
IEEE
15 years 11 months ago
A Lattice-Based Model for Recommender Systems
A major challenge in building recommender systems is organizing the recommendation space since, the underlying data organization scheme has a significant impact on the overall pe...
Shriram Narayanaswamy, Raj Bhatnagar