Sciweavers

1816 search results - page 52 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
EWSA
2004
Springer
15 years 5 months ago
Correct Development of Embedded Systems
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
Susanne Graf, Jozef Hooman
WWW
2007
ACM
16 years 15 days ago
Using Google distance to weight approximate ontology matches
Discovering mappings between concept hierarchies is widely regarded as one of the hardest and most urgent problems facing the Semantic Web. The problem is even harder in domains w...
Risto Gligorov, Warner ten Kate, Zharko Aleksovski...
INFOSCALE
2006
ACM
15 years 5 months ago
Automated ontology evolution in a multi-agent system
This research addresses the formation of new concepts and their corresponding ontology in a multiagent system where individual autonomous agents try to learn new concepts by consu...
Mohsen Afsharchi, Behrouz H. Far
APSEC
2005
IEEE
15 years 5 months ago
Systematic Use Case Interviews for Specification of Automotive Systems
Automotive software systems are becoming increasingly complex, driven both by advances in technology and by demands for more powerful applications. The design of such complex syst...
Shariful Islam, Hannes Omasreiter
82
Voted
CONTEXT
2007
Springer
15 years 6 months ago
Coping with Unconsidered Context of Formalized Knowledge
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...
Stefan Mandl, Bernd Ludwig