1536 search results - page 203 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
SEW
2006
IEEE
14 years 1 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
MICCAI
2008
Springer
14 years 9 months ago
2008
Springer
3D shape modeling is a crucial component of rapid prototyping systems that customize shapes of implants and prosthetic devices to a patient's anatomy. In this paper, we presen...
SEFM
2005
IEEE
14 years 1 months ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
IJET
2007
13 years 7 months ago
2007
: XML has become a standard format in information exchange and integration on the Web. Much research has been conducted in recent years on XML technology, which has led to new deve...
ECCV
1994
Springer
13 years 12 months ago
1994
Springer
This paper describes a new approach to the integration and control of continuously operating visual processes. Visual processes are expressed as transformations which map signals ...