Abstract. The correspondence problem is of high relevance in the construction and use of statistical models. Statistical models are used for a variety of medical application, e.g. ...
Martin Styner, Kumar T. Rajamani, Lutz-Peter Nolte...
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
We present a computer vision system that associates omnidirectional vision with structured light with the aim of obtaining depth information for a 360 degrees ļ¬eld of view.The a...
Radu Orghidan, Joaquim Salvi, El Mustapha Mouaddib
Word processing software, email, and spreadsheet have revolutionized office activities. There are many other office tasks that are amenable to automation, such as: scheduling a vi...