Sciweavers

571 search results - page 52 / 115
» BReLS: A System for the Integration of Knowledge Bases
Sort
View
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
16 years 14 days ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...
JUCS
2006
119views more  JUCS 2006»
15 years 6 months ago
Course Modeling for Student Profile Based Flexible Higher Education on the Internet
: Higher education courses are increasingly created as student organized collections of interrelated modules. At the same time, frequent change of subject matter and knowledge in i...
László Horváth, Imre J. Rudas
PDCN
2004
15 years 7 months ago
Ontoenvironment: An integration infrastructure for distributed heterogeneous resources
A new age of heterogeneous resource integration has begun. Next generation of integration systems will utilize different methods and techniques to achieve the vision of ubiquitous...
Oleksiy Khriyenko, Oleksandr Kononenko, Vagan Y. T...
CIB
2004
83views more  CIB 2004»
15 years 6 months ago
Web-Based Semantic Pervasive Computing Services
Abstract-- Pervasive Computing refers to a seamless and invisible computing environment which provides dynamic, proactive and context-aware services to the user by acquiring contex...
Yugyung Lee, Soon Ae Chun, James Geller
CAEPIA
2003
Springer
15 years 11 months ago
Enhancing Consistency Based Diagnosis with Machine Learning Techniques
This paper proposes a diagnosis architecture that integrates consistency based diagnosis with induced time series classifiers, trying to combine the advantages of both methods. Co...
Carlos J. Alonso, Juan José Rodrígue...