Sciweavers

2473 search results - page 202 / 495
» Systems, Views and Models of UML
Sort
View
BCS
2008
15 years 8 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
RML
2002
162views Business» more  RML 2002»
15 years 6 months ago
A Markup Language for ORM Business Rules
Conceptual modeling techniques such as EER, ORM and to some extent the UML have been developed in the past for building information systems. These techniques or suitable extensions...
Jan Demey, Mustafa Jarrar, Robert Meersman
JMLR
2008
127views more  JMLR 2008»
15 years 7 months ago
Incremental Identification of Qualitative Models of Biological Systems using Inductive Logic Programming
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
Ashwin Srinivasan, Ross D. King
163
Voted
FLAIRS
2004
15 years 8 months ago
A Computational Psycholinguistic Model of Natural Language Processing
Double R Model (Referential and Relational model) is a computational psycholinguistic model of NLP founded on the principles of Cognitive Linguistics and implemented using the ACT...
Jerry T. Ball
ICALT
2005
IEEE
16 years 21 days ago
Intelligent Visual Reasoning Tutor
Visual reasoning is an essential skill for many disciplines in engineering and architecture. We describe an intelligent tutoring system for visual reasoning that uses the missing ...
Eric Wang, Yong Se Kim