221.
Centrum voor Wiskunde en Informatica
A generalized ultrametric space is an ordinary ultrametric space in which the distance need not be symmetric,
and where different elements may have distance 0. Our interest in generalized ultrametric spaces is primarily
motivated by the following observations: 1. (possibly nondeterministic) transition systems can be naturally
endowed with a generalized ultrametric that captures their operational behavior in terms of simulations; 2. the
category of generalized ultrametric spaces contains both the categories of preorders and of ordinary ultrametric
spaces as full subcategories. A theory of generalized ultrametric spaces is developed along the lines of the
work by Smyth and Plotkin (1982) and America and Rutten (1989), such...
222.
Centrum voor Wiskunde en Informatica
This article discusses the state of the art in metadata for audio-visual media in large semantic
networks, such as the Semantic Web. Our discussion is predominantly motivated by the two
most widely known approaches towards machine-processable and semantic-based content
description, namely the Semantic Web activity of the W3C and ISO's efforts in the direction of
complex media content modeling, in particular the Multimedia Content Description Interface
(MPEG-7). We explain that the conceptual ideas and technologies discussed in both
approaches are essential for the next step in multimedia development. Unfortunately, there are
still many practical obstacles that block their widespread use for providing multimedia metadata
on the Web. Based...
223.
Centrum voor Wiskunde en Informatica
Automatic hypermedia presentation generation uses an information source semantic network
first to select the content and then to compose it in the presentation so that the semantic
relations between the information items are conveyed to the user. A hypermedia presentation
can be considered as an example of strongly-guided navigation through a hypermedia structure.
224.
Centrum voor Wiskunde en Informatica
Using (stream) differential equations for definitions and coinduction for proofs, we define,
analyse, and relate in a uniform way four different algebraic structures on the set 2
of
bitstreams, motivating each of them in terms of the digital circuits they can describe.
225.
Facultad De Informatica
- Manuel Carro,M. Carro
This is the user manual of VIFID, a tool to visualize the data evolution of CLP (FD) programs.
VIFID is instrumented as a Prolog library which uses Tcl/Tk as graphic interface, and depicts
in an intuitive way the state of the constraint store at selected points in the program. It
has been developed and tested under the X Window environment. It gives the user several
facilities, including allowing to post/unpost arbitrary constraints during the execution of the
program. Little penalty is imposed regarding execution speed when visualization is turned
off.
226.
Facultad De Informatica
- J. M. Ramos,Manuel Carro
This is the user manual of VIFID, a tool to visualize the data evolution of CLP(FD) programs.
VIFID is instrumented as a Prolog library which uses Tcl/Tk as graphic interface, and depicts
in an intuitive way the state of the constraint store at selected points in the program. It
has been developed and tested under the X Window environment. It gives the user several
facilities, including allowing to post/unpost arbitrary constraints during the execution of the
program. Little penalty is imposed regarding execution speed when visualization is turned
o.
227.
Informatica 1
- Paolo Bresciani,Istituto Per La Ricerca
this paper,
after briey showing the importance of an integrated view of description logics
and databases, our approach to this topic is presented. Our technique allows
uniform access { by means of a DL-based query language { to information distributed
over knowledge bases and databases. The separately existing retrieving
functions of description logics management systems and of database management
systems are integrated, in our extended paradigm, in order to allow, via a query
language grounded on a DL-based schema knowledge, uniformly formulating and
answering queries and, thus, uniform retrieval from mixed knowledge/data bases
228.
Informática. 'Informática'
- Bach Plaza, Antoni; Berga Reixach, Joan
Ejemplo de segundo nivel de concreción en Informática para Bachillerato. Se articula en dos módulos: procesador de textos, telemática y multimedia; gestor de bases de datos y hoja de cálculo. En cada uno de ambos módulos bosqueja cinco unidades didácticas que van desde el uso de programas básicos hasta los entornos telemáticos y multimediales, pasando por los componentes de hardware o las repercusiones sociales de las nuevas tecnologías, Bibliografía
229.
Informática. 'Informática'
- Bach Plaza, Antoni; Berga Reixach, Joan
Ejemplo de segundo nivel de concreción en Informática para Bachillerato. Se articula en dos módulos: procesador de textos, telemática y multimedia; gestor de bases de datos y hoja de cálculo. En cada uno de ambos módulos bosqueja cinco unidades didácticas que van desde el uso de programas básicos hasta los entornos telemáticos y multimediales, pasando por los componentes de hardware o las repercusiones sociales de las nuevas tecnologías, Bibliografía
230.
III encuentros de informática en las aulas de Aragón, Navarra y La Rioja
- Diputación Provincial de Huesca; Diputación Provincial de Aragón; Ayuntamiento de Huesca; CEP de Huesca; 3 Encuentros de informática en las aulas de Aragón, Navarra y La Rioja Huesca 1988
Actas del Tercer Encuentro de Infórmatica en el aula celebrado en Huesca los días 6, 7 y 8 de septiembre de 1988. En las mismas se recogen las ponencias sobre telemática y educación, y reflexiones sobre la enseñanza asistida por ordenador desde la etapa infantil hasta la enseñanza secundaria
231.
III encuentros de informática en las aulas de Aragón, Navarra y La Rioja
- Diputación Provincial de Huesca; Diputación Provincial de Aragón; Ayuntamiento de Huesca; CEP de Huesca; 3 Encuentros de informática en las aulas de Aragón, Navarra y La Rioja Huesca 1988
Actas del Tercer Encuentro de Infórmatica en el aula celebrado en Huesca los días 6, 7 y 8 de septiembre de 1988. En las mismas se recogen las ponencias sobre telemática y educación, y reflexiones sobre la enseñanza asistida por ordenador desde la etapa infantil hasta la enseñanza secundaria
232.
Programa informático para cálculos de operaciones de mecanizado PICOM / Maryury Zegarra
- Zegarra Arismendi, Maryury; Guedez Torcates, Víctor Manuel; Universidad de Los Andes. Escuela de Ingeniería Mecánica, Tesis, 2005
Mecanografiado
233.
Las competencias profesionales en ambientes informáticos para trabajos colaborativos y resolución de problemas
- Cataldi, Zulma; Cabero Almenara, Julio
In this communication the investigation carried out is transformed during 2003-2004 through which it looks for to investigate how the generic professional competitions in students can be demonstrated who work in work atmospheres using computer science technology. This way through the acquisition and the refinement of the competitions the profile of the professional future can be modeled. For it, the carried out experience is described in order to collect the data of interaction of the students who must solve their problems.
The competitions can be demonstrated through the different interventions from the stu-dents who work solving problems in a forum of...
234.
Análisis crítico a la tipicidad prevista en algunos artículos de la ley especial contra delitos informáticos venezolana
- Logreira Rivas, Carmen Isabel
The present work tries the study of the Special Law Against Computer science Crimes published in the Official Newspaper Nº 37,313 of the 30 of November of the 2001, through the standardisation of its crimes, starting off of a critical analysis for the same, in order to serve like observations in a future modification as the present legal instrument or in a probable incorporation the reformed Penal Code.
235.
Experiencia cubana en la protección contra los virus informáticos
- Bidot Peláez, José
236.
Experiencia cubana en la protección contra los virus informáticos
- Bidot Peláez, José
237.
Departamento de Informatica
- Murilo V. G. Da Silva,Andre L. P. Guedes
Let G be a simple and
nite graph. In this paper we are concerned with operations
on G that transform it into a perfect graph. We de
ne some graph parameters related
to these operations and prove some results about it. Using a well know lower bound
for Ramsey Numbers we conclude that there are graphs that are highly imperfect.
238.
Facultad De Informatica
- F. Bueno,D. Cabeza,M. Hermenegildo,G. Puebla
Interpretation, Standard Prolog.
239.
Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados
- Badenes, Hernán; Facultad de Informática
240.
Arquitectura para aplicaciones web personalizadas
- Mercerat, Bárbara; Facultad de Informática
