Sciweavers

1171 search results - page 48 / 235
» Learning Systems of Concepts with an Infinite Relational Mod...
Sort
View
SBMF
2010
Springer
164views Formal Methods» more  SBMF 2010»
15 years 21 days ago
A Decision Procedure for Bisimilarity of Generalized Regular Expressions
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed ...
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Io...
INTERACT
2003
15 years 7 months ago
Ontological Sketch Modelling (OSM): Concept-based Usability Analysis
: OSM is a novel approach to usability analysis and design that focuses on the quality of fit between the concepts the user is working with and those represented within supporting ...
Ann Blandford, Iain Connell
EEF
2000
15 years 9 months ago
Process Algebra and Markov Chains
This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides
Ed Brinksma, Holger Hermanns
ECML
2006
Springer
15 years 9 months ago
Unsupervised Multiple-Instance Learning for Functional Profiling of Genomic Data
Multiple-instance learning (MIL) is a popular concept among the AI community to support supervised learning applications in situations where only incomplete knowledge is available....
Corneliu Henegar, Karine Clément, Jean-Dani...
TMRA
2005
Springer
15 years 11 months ago
Collaborative Software Development and Topic Maps
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...
Markus Ueberall, Oswald Drobnik