Sciweavers

10802 search results - page 440 / 2161
» Generative and developmental systems
Sort
View
GI
2004
Springer
16 years 7 days ago
Static Safety Analysis of UML Action Semantics for Critical Systems Development
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
Zsigmond Pap, Dániel Varró
OTM
2004
Springer
16 years 6 days ago
Integrating Ontologies into Learning Management Systems - A Case of Czech
The paper deals with the role of ontologies in e-learning. We report our research on the application of ontologies in intelligent platforms for self-learning and computer-mediated ...
Pavel Smrz
ISCAS
2003
IEEE
106views Hardware» more  ISCAS 2003»
16 years 4 days ago
Design of a digital reaction-diffusion system for restoring blurred fingerprint images
This paper presents an algorithm for fingerprint image restoration using a Digital Reaction-Diffusion System (DRDS). The DRDS is a model of a discrete-time discrete-space nonline...
Koichi Ito, Takafumi Aoki, Tatsuo Higuchi
CAV
2003
Springer
154views Hardware» more  CAV 2003»
16 years 2 days ago
Structural Symbolic CTL Model Checking of Asynchronous Systems
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
Gianfranco Ciardo, Radu Siminiceanu
SIGIR
2000
ACM
15 years 11 months ago
The Cambridge University multimedia document retrieval demo system
The Cambridge University Multimedia Document Retrieval Demo System is a web based application that allows the user to query a database of automatically generated transcripts of ra...
A. Tuerk, Sue E. Johnson, P. Jourlin, Karen Sparck...