557 search results - page 13 / 112 » The L4.verified Project - Next Steps |
CVIU
2010
13 years 8 months ago
2010
We consider the self-calibration problem for the generic imaging model that assigns projection rays to pixels without a parametric mapping. In this paper, we consider the central ...
CSEE
2008
Springer
13 years 10 months ago
2008
Springer
In order to attend the industry needs, it is necessary to provide more practical issues of real software development in the academic curricula. This paper describes an educational...
SIGPRO
2008
13 years 8 months ago
2008
With the rapid development of X-ray source and detector technologies, multi-source scanners become a hot topic in the computed tomography (CT) field, which can acquire several pro...
VLDB
2005
ACM
14 years 9 months ago
2005
ACM
We describe a data-centric software architecture for bioinformatics workflows and a rule-based workflow enactment system that uses declarative specifications of data dependences be...
ELPUB
1998
ACM
14 years 29 days ago
1998
ACM
This paper presents the experience gained in work on two current Bulgarian projects aiming at the development of electronic resources for South-East European Studies, Slavic studi...