Sciweavers

4742 search results - page 212 / 949
» The Information Technology Model Curriculum
Sort
View
DELOS
2000
15 years 8 months ago
Knowledge Representation meets Digital Libraries
In this short paper, the basic ideas behind a project on the application of Knowledge Representation formalisms and technologies for Conceptual Modelling and Query Management are ...
Enrico Franconi
CAISE
2006
Springer
15 years 10 months ago
A Formalisation of the Soccer Substitution Rules
This paper presents a formal model of the substitution rules for soccer games as they existed at the 1994 World Cup. The model is expressed in VDM and can be animated with the VDMT...
Yves Ledru
CAISE
2008
Springer
15 years 8 months ago
A Tool for Process Merging in Business-Driven Development
Abstract. Business-driven development favors the construction of process modifferent abstraction levels and by different people. As a consequence, there is a demand for consolidati...
Jochen Malte Küster, Christian Gerth, Alexand...
IEEEIAS
2007
IEEE
16 years 27 days ago
Information-theoretical comparison of likelihood ratio methods of forensic evidence evaluation
Forensic evidence in the form of two-level hierarchical multivariate continuous data is modelled using a likelihood ratio approach. Data are available from fragments of glass and ...
Daniel Ramos, Joaquin Gonzalez-Rodriguez, Grzegorz...
BIOADIT
2004
Springer
16 years 10 hour ago
Towards Cortex Sized Attractor ANN
We review the structure of cerebral cortex to find out the number of neurons and synapses and its modular structure. The organization of these neurons is then studied and mapped on...
Christopher Johansson, Anders Lansner