14670 search results - page 86 / 2934 » The Systems Modeling Language for Products and Systems Devel... |
MC
2001
13 years 9 months ago
2001
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...
DFG
2004
Springer
13 years 12 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
AICOM
2000
13 years 8 months ago
2000
This paper describes a model of the emergence and the universal structural tendencies of vowel systems. Both are considered as the result of self-organisation in a population of l...
CICLING
2007
Springer
14 years 2 months ago
2007
Springer
The need of having a Passage Retrieval (PR) system for Arabic texts is due essentially to our aim to build an Arabic Question Answering (QA) system in our research team. We have ch...
CBMS
2008
IEEE
13 years 10 months ago
2008
IEEE
The Gene Ontology Consortium built the Gene Ontology database (GO) to address the need for a common standard in naming genes and gene products. Using different names for the same ...