http://biblioteca.universia.net/vernivel.do?start=220&nivel=1203.17 Mostrando recursos 221 - 240 de 13,650 es http://biblioteca.universia.net/img/logotipo.jpg http://biblioteca.universia.net/ http://biblioteca.universia.net/ficha.do?id=42087188 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 ... http://biblioteca.universia.net/ficha.do?id=42095112 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 ... http://biblioteca.universia.net/ficha.do?id=42122810 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. http://biblioteca.universia.net/ficha.do?id=42129137 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. http://biblioteca.universia.net/ficha.do?id=42025580 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 impos... Manuel Carro,M. Carro http://biblioteca.universia.net/ficha.do?id=42037751 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 impose... J. M. Ramos,Manuel Carro http://biblioteca.universia.net/ficha.do?id=42124295 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 ground... Paolo Bresciani,Istituto Per La Ricerca http://biblioteca.universia.net/ficha.do?id=38103256 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 Bach Plaza, Antoni; Berga Reixach, Joan http://biblioteca.universia.net/ficha.do?id=38103256 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 Bach Plaza, Antoni; Berga Reixach, Joan http://biblioteca.universia.net/ficha.do?id=38118484 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 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 http://biblioteca.universia.net/ficha.do?id=38118484 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 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 http://biblioteca.universia.net/ficha.do?id=37764735 Mecanografiado Zegarra Arismendi, Maryury; Guedez Torcates, Víctor Manuel; Universidad de Los Andes. Escuela de Ingeniería Mecánica, Tesis, 2005 http://biblioteca.universia.net/ficha.do?id=24152854 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 student... Cataldi, Zulma; Cabero Almenara, Julio http://biblioteca.universia.net/ficha.do?id=44806509 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. Logreira Rivas, Carmen Isabel http://biblioteca.universia.net/ficha.do?id=34102956 Bidot Peláez, José http://biblioteca.universia.net/ficha.do?id=34102956 Bidot Peláez, José http://biblioteca.universia.net/ficha.do?id=42083460 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. Murilo V. G. Da Silva,Andre L. P. Guedes http://biblioteca.universia.net/ficha.do?id=42132539 Interpretation, Standard Prolog. F. Bueno,D. Cabeza,M. Hermenegildo,G. Puebla http://biblioteca.universia.net/ficha.do?id=38294919 Badenes, Hernán; Facultad de Informática http://biblioteca.universia.net/ficha.do?id=38294943 Mercerat, Bárbara; Facultad de Informática