Obtenga beneficios adicionales
Aún no tiene una suscripción a Virtual Pro?
Para acceder a este contenido se requiere una suscripción
Obtenga beneficios adicionales
Aún no tiene una suscripción a Virtual Pro?
Para acceder a este contenido se requiere una suscripción
En este documento, presentamos una nueva semántica (que llamamos D3-WFS-DCOMP) y la comparamos con la semántica estable (STABLE). Para programas normales, esta semántica se basa en la integración de la semántica bien fundamentada (WFS) y la completación de Clarks. D3-WFS-DCOMP tiene las siguientes propiedades atractivas: Primero, coincide con STABLE en el sentido de que nunca define un modelo no minimal o un modelo no minimal soportado. Segundo, para programas normales extiende WFS. Tercero, todo modelo estable de un programa disyuntivo es un modelo D3-WFS-DCOMP de . Cuarto, se construye utilizando reglas de transformación aceptadas por STABLE. También introducimos una segunda semántica que llamamos D2-WFS-DCOMP. Mostramos que D2-WFS-DCOMP es equivalente a D3-WFS-DCOMP para programas normales, pero esto no es el caso para programas disyuntivos. También presentamos una tercera nueva semántica que admite el uso de disyunciones impl
Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.
Artículo:
Unidad recurrente controlada con RSSI de red heterogénea para posicionamiento móvil
Artículo:
El papel de la información de imagen de la red 5G basada en el aprendizaje profundo en el seguimiento de la trayectoria del objetivo de predicción de UAV.
Artículo:
Construyendo la Red Fonológica del Mandarín: Nuevo Inventario de Sílabas Utilizado para Identificar la Segmentación Esquemática
Artículo:
El impacto del análisis de big data en el comercio electrónico: estudio de caso de Estados Unidos y China.
Artículo:
Modelo predictivo de gestión del transporte aéreo basado en algoritmos inteligentes de comunicación de redes inalámbricas.
Artículo:
Creación de empresas y estrategia : reflexiones desde el enfoque de recursos
Artículo:
La gestión de las relaciones con los clientes como característica de la alta rentabilidad empresarial
Artículo:
Análisis socioeconómico de la problemática de los desechos plásticos en el mar
Artículo:
Los web services como herramienta generadora de valor en las organizaciones
Virtual Pro es un portal virtual de formación, investigación y comunicación especializado en procesos industriales.
� 2021, Virtual Pro �, una marca de Grupo INGCO. Todos los derechos reservados
