RiuNet repositorio UPV
:
Listar por palabra clave

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Semi-automatics"

Mostrando ítems 1-2 de 2

Abstract diagnosis for timed concurrent constraint programs

Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Cambridge University Press, 2011)

The timed concurrent constraint language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat. In this paradigm, the notion of store-as-value is replaced ...
Change detection of isolated housing using a new hybrid approach based on object classification with optical and TerraSAR-X data

Vidal Pantaleoni, Ana; Moreno Cambroreno, María del Rocío (Taylor & Francis (Routledge): STM, Behavioural Science and Public Health Titles, 2011-12)

Optical and microwave high spatial resolution images are now available for a wide range of applications. In this work, they have been applied for the semi-automatic change detection of isolated housing in agricultural ...

Mostrando ítems 1-2 de 2