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
Teruhiro Shimura, Jorge Lobo, Tadao Murata:
An Extended Petri Net Model for Normal Logic Programs. IEEE Trans. Knowl. Data Eng. 7(1): 150-162 (1995)
An Extended Petri Net Model for Normal Logic Programs. IEEE Trans. Knowl. Data Eng. 7(1): 150-162 (1995)
Josep R. Casas, Philippe Salembier, Luis Torres:
Morphological interpolation for texture coding. ICIP 1995: 526-529
Morphological interpolation for texture coding. ICIP 1995: 526-529
Luis Torres, Josep R. Casas, Jordi Campins Pascual:
An efficient technique of texture representation in segmentation-based image coding schemes. ICIP (3) 1995: 588-591
An efficient technique of texture representation in segmentation-based image coding schemes. ICIP (3) 1995: 588-591
1994
Terry Gaasterland, Natalia Maltsev, Jorge Lobo, Guo-Hua Chen:
Assigning Function to CDS Through Qualified Query Answering: Beyond Alignment and Motifs. ISMB 1994: 130-137
Assigning Function to CDS Through Qualified Query Answering: Beyond Alignment and Motifs. ISMB 1994: 130-137
Terry Gaasterland, Jorge Lobo:
Qualified Answers That Reflect User Needs and Preferences. VLDB 1994: 309-320
Qualified Answers That Reflect User Needs and Preferences. VLDB 1994: 309-320
José J. Acebrón, Jaime Delgado:
Design of a distributed document system based on ODA: DODS. ULPAA 1994: 215-225
Design of a distributed document system based on ODA: DODS. ULPAA 1994: 215-225
Jaime Delgado, Francisco Jordan, Xavier Perramon:
FODATEC: An Open Document Manipulation System. ULPAA 1994: 227-240
FODATEC: An Open Document Manipulation System. ULPAA 1994: 227-240
Francisco Jordan, Manuel Medina:
Secure Multicast Communications using a Key Distribution Center. INDC 1994: 367-380
Secure Multicast Communications using a Key Distribution Center. INDC 1994: 367-380
Francisco Jordan, Manuel Medina, Juan Carlos Cruellas, Isabel Gallego:
A Step Ahead in the Directory Authentication Framework. ULPAA 1994: 89-106
A Step Ahead in the Directory Authentication Framework. ULPAA 1994: 89-106
Manuel Medina, Nathaniel S. Borenstein:
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 1994, ISBN 0-444-82047-7 [contents]
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 1994, ISBN 0-444-82047-7 [contents]
Joan Antoni Pastor:
Extending the Synthesis of Update Transaction Programs to handle Existential Rules in Deductive Databases. DAISD 1994: 189-218
Extending the Synthesis of Update Transaction Programs to handle Existential Rules in Deductive Databases. DAISD 1994: 189-218
Ernest Teniente, Toni Urpí:
A Common Framework for Classifying and Specifying Deductive Database Updating Problems. DAISD 1994: 135-158
A Common Framework for Classifying and Specifying Deductive Database Updating Problems. DAISD 1994: 135-158
Ernest Teniente, Toni Urpí:
A Common Framework for Classifying and Specifying Deductive Database Updating Problems. DAISD 1994: 135-158
A Common Framework for Classifying and Specifying Deductive Database Updating Problems. DAISD 1994: 135-158
Maria-Ribera Sancho, Antoni Olivé:
Deriving Transaction Specifications from Deductive Conceptual Models of Information Systems. CAiSE 1994: 311-324
Deriving Transaction Specifications from Deductive Conceptual Models of Information Systems. CAiSE 1994: 311-324
Louiqa Raschid, Jorge Lobo:
A Semantics for a Class of Non-Deterministic and Causal Production System Programs. J. Autom. Reasoning 12(3): 305-349 (1994)
A Semantics for a Class of Non-Deterministic and Causal Production System Programs. J. Autom. Reasoning 12(3): 305-349 (1994)
Monica D. Barback, Jorge Lobo:
A Resolution-based Procedure for Default Theories with Extensions. NMELP 1994: 101-126
A Resolution-based Procedure for Default Theories with Extensions. NMELP 1994: 101-126
Carme Quer, Antoni Olivé:
Deteriming Object Interaction in Object-Oriented Deductive Conceptual Models. Inf. Syst. 19(3): 211-227 (1994)
Deteriming Object Interaction in Object-Oriented Deductive Conceptual Models. Inf. Syst. 19(3): 211-227 (1994)
Josep R. Casas, Luis Torres:
Coding of details in very low bit-rate video systems. IEEE Trans. Circuits Syst. Video Techn. 4(3): 317-327 (1994)
Coding of details in very low bit-rate video systems. IEEE Trans. Circuits Syst. Video Techn. 4(3): 317-327 (1994)
Luis Torres, Josep R. Casas, S. de Diego:
Segmentation based coding of textures using stochastic vector quantization. ICASSP (5) 1994: 597-600
Segmentation based coding of textures using stochastic vector quantization. ICASSP (5) 1994: 597-600
Josep R. Casas, Luis Torres:
Residual image coding using mathematical morphology. ICASSP (5) 1994: 553-556
Residual image coding using mathematical morphology. ICASSP (5) 1994: 553-556
D. Gimeno, Luis Torres, Josep R. Casas:
A New Approach to Texture Coding using Stochastic Vector Quantization. ICIP (1) 1994: 119-123
A New Approach to Texture Coding using Stochastic Vector Quantization. ICIP (1) 1994: 119-123
Josep R. Casas, Luis Torres:
Morphological Filter for Lossless Image Subsampling. ICIP (2) 1994: 903-907
Morphological Filter for Lossless Image Subsampling. ICIP (2) 1994: 903-907
Toni Urpí, Antoni Olivé:
Semantic Change Computation Optimization in Active Databases. RIDE-ADS 1994: 19-27
Semantic Change Computation Optimization in Active Databases. RIDE-ADS 1994: 19-27
Luis Torres, Jordi Huguet:
An improvement on codebook search for vector quantization. IEEE Trans. Communications 42(234): 208-210 (1994)
An improvement on codebook search for vector quantization. IEEE Trans. Communications 42(234): 208-210 (1994)
1993
Monica D. Barback, Jorge Lobo:
A Proof Procedure for Default Theories with Extensions. ILPS 1993: 651
A Proof Procedure for Default Theories with Extensions. ILPS 1993: 651
Enric Mayol, Ernest Teniente:
Incorporating Modification Requests in Updating Consistent Knowledge Bases. DAISD 1993: 335-359
Incorporating Modification Requests in Updating Consistent Knowledge Bases. DAISD 1993: 335-359
Enric Mayol, Ernest Teniente:
Incorporating Modification Requests in Updating Consistent Knowledge Bases. DAISD 1993: 335-359
Incorporating Modification Requests in Updating Consistent Knowledge Bases. DAISD 1993: 335-359
Carme Quer, Antoni Olivé:
Object Interaction in Object-Oriented Deductive Conceptual Models. CAiSE 1993: 374-396
Object Interaction in Object-Oriented Deductive Conceptual Models. CAiSE 1993: 374-396
Terry Gaasterland, Jorge Lobo:
Using Semantic Information for Processing Negation and Disjunction in Logic Programs. ISMIS 1993: 198-208
Using Semantic Information for Processing Negation and Disjunction in Logic Programs. ISMIS 1993: 198-208
John Grant, John F. Horty, Jorge Lobo, Jack Minker:
View Updates in Stratified Disjunctive Databases. J. Autom. Reasoning 11(2): 249-267 (1993)
View Updates in Stratified Disjunctive Databases. J. Autom. Reasoning 11(2): 249-267 (1993)
Terry Gaasterland, Jorge Lobo:
Processing Negation and Disjunction in Logic Programs Through Integrity Constraints. J. Intell. Inf. Syst. 2(3): 225-243 (1993)
Processing Negation and Disjunction in Logic Programs Through Integrity Constraints. J. Intell. Inf. Syst. 2(3): 225-243 (1993)
José Alberto Fernández, Jorge Lobo, Jack Minker, V. S. Subrahmanian:
Disjunctive LP + Integrity Constraints = Stable Model Semantics. Ann. Math. Artif. Intell. 8(3-4): 449-474 (1993)
Disjunctive LP + Integrity Constraints = Stable Model Semantics. Ann. Math. Artif. Intell. 8(3-4): 449-474 (1993)