Sciweavers

5787 search results - page 407 / 1158
» Generic User Modeling Systems
Sort
View
FUIN
2010
114views more  FUIN 2010»
15 years 4 months ago
A Logic-Based System for e-Tourism
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
Francesco Ricca, Antonella Dimasi, Giovanni Grasso...
COMPSYSTECH
2010
15 years 3 months ago
Integration of neural networks and expert systems for time series prediction
: In this paper an approach for development of univariate time series prediction library in Java and its integration with an existing CLIPS related system is presented .A backpropa...
Ventsislav Nikolov, Valeri Bogdanov
MEMOCODE
2010
IEEE
15 years 4 months ago
Monitoring temporal SystemC properties
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
Deian Tabakov, Moshe Y. Vardi
DATE
2010
IEEE
126views Hardware» more  DATE 2010»
15 years 10 months ago
Scenario-based analysis and synthesis of real-time systems using uppaal
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
WSC
1998
15 years 8 months ago
Making Simulation more Accessible in Manufacturing Systems through a 'four phase' Approach
This paper will describe an approach to the development of computer simulations - the 'four phase' approach - which aims to be more accessible than established approache...
Hamad I. Odhabi, Ray J. Paul, Robert D. Macredie