Publicaciones

Lista de publicaciones extraída de DBLP(Digital Bibliography & Library Project), sitio web de referencia de las publicaciones más relevantes en nuestra área de investigación.

1995

, , :
An Extended Petri Net Model for Normal Logic Programs. IEEE Trans. Knowl. Data Eng. 7(1): 150-162 ()
, , :
Morphological interpolation for texture coding. ICIP : 526-529
, , :
An efficient technique of texture representation in segmentation-based image coding schemes. ICIP (3) : 588-591

1994

A Special Purpose Simulator to Assist the Design and Assessment of Vehicle Gudan...
ATT ZONE ACCES CONTROL IMPLEMENTATIONS IN THE CITIES OF BARCELONA AND BOLOGNE
GERTRAM: A GENERIC ENVITONMENT FOR TRAFFIC ANALYSIS AND MODELLING
A SPECIAL PURPOSE SIMULATOR TO ASSIST THE DESIGN AND ASSESSSMENT OF VEHICLE GU
THE CARS DEMAND-RESPONSIVE TRAFFIC CONTROL SYSTEM:RECENT IMPROVEMENTS AND EXPE
ASSESSMENT OF VEHICLE GUIDANDE SYSTEMS AND STRATEGIES BY SIMULATION
Information Technology Implications for Transport Operations Research
A SYSTEM OPTIMAL DYNAMIC TRAFFIC ASSIGNMENT MODEL WITH DISTRIBUTED PARAMETRES
Simuladores de Tráfico: Herramientas para ayudar al diseño de proyectos y evalua...
, , , :
Assigning Function to CDS Through Qualified Query Answering: Beyond Alignment and Motifs. ISMB : 130-137
, :
Qualified Answers That Reflect User Needs and Preferences. VLDB : 309-320
, :
Design of a distributed document system based on ODA: DODS. ULPAA : 215-225
, , :
FODATEC: An Open Document Manipulation System. ULPAA : 227-240
, :
Secure Multicast Communications using a Key Distribution Center. INDC : 367-380
, , , :
A Step Ahead in the Directory Authentication Framework. ULPAA : 89-106
, :
Upper Layer Protocols, Architectures and Applications, Proceedings of the IFIP TC6/WG6.5 International Conference on Upper Layer Protocols, Architectures and Applications, Barcelona, Spain, 1-3 June, 1994. IFIP Transactions C-25, Elsevier , ISBN 0-444-82047-7 [contents]
:
Extending the Synthesis of Update Transaction Programs to handle Existential Rules in Deductive Databases. DAISD : 189-218
, :
A Common Framework for Classifying and Specifying Deductive Database Updating Problems. DAISD : 135-158
, :
A Common Framework for Classifying and Specifying Deductive Database Updating Problems. DAISD : 135-158
, :
Deriving Transaction Specifications from Deductive Conceptual Models of Information Systems. CAiSE : 311-324
, :
A Semantics for a Class of Non-Deterministic and Causal Production System Programs. J. Autom. Reasoning 12(3): 305-349 ()
, :
A Resolution-based Procedure for Default Theories with Extensions. NMELP : 101-126
, :
Deteriming Object Interaction in Object-Oriented Deductive Conceptual Models. Inf. Syst. 19(3): 211-227 ()
, :
Coding of details in very low bit-rate video systems. IEEE Trans. Circuits Syst. Video Techn. 4(3): 317-327 ()
, , :
Segmentation based coding of textures using stochastic vector quantization. ICASSP (5) : 597-600
, :
Residual image coding using mathematical morphology. ICASSP (5) : 553-556
, , :
A New Approach to Texture Coding using Stochastic Vector Quantization. ICIP (1) : 119-123
, :
Morphological Filter for Lossless Image Subsampling. ICIP (2) : 903-907
, :
Semantic Change Computation Optimization in Active Databases. RIDE-ADS : 19-27
, :
An improvement on codebook search for vector quantization. IEEE Trans. Communications 42(234): 208-210 ()

1993

, :
A Proof Procedure for Default Theories with Extensions. ILPS : 651
Cars: control autoadaptativo para redes semaforizadas
Packsim: un modelo de simulacion aplicado al control autoadaptativo
Simulación Microscópica de Guiado de Vehículos
THE ROLE OF OR MODELS IN TRAFFIC MANAGEMENT
Aimsun 2: simulador microscopico de trafico
Calculo de extremales para el problema de asignacion dinamica de tra
OPTIMIZATION AND SIMULATION MODELS IN TRANSPORT
Simulacion microscopica del guiado de vehiculos
, :
Incorporating Modification Requests in Updating Consistent Knowledge Bases. DAISD : 335-359
:
Explaining the Behaviour of a Deductive Conceptual Model. DAISD : 27-50
, :
Incorporating Modification Requests in Updating Consistent Knowledge Bases. DAISD : 335-359
, :
Object Interaction in Object-Oriented Deductive Conceptual Models. CAiSE : 374-396
, :
Using Semantic Information for Processing Negation and Disjunction in Logic Programs. ISMIS : 198-208
, , , :
View Updates in Stratified Disjunctive Databases. J. Autom. Reasoning 11(2): 249-267 ()
, :
Processing Negation and Disjunction in Logic Programs Through Integrity Constraints. J. Intell. Inf. Syst. 2(3): 225-243 ()
, , , :
Disjunctive LP + Integrity Constraints = Stable Model Semantics. Ann. Math. Artif. Intell. 8(3-4): 449-474 ()

Páginas