441.
Robotics and the Common Sense Informatic Situation
- Murray Shanahan,Queen Mary,Westfield College
Any model of the world a robot constructs on the basis
of its sensor data is necessarily both incomplete, due
to the robot's limited window on the world, and
uncertain, due to sensor and motor noise. This paper
proposes a logic-based framework in which such
models are constructed through an abductive process
whereby sensor data is explained by hypothesising the
existence, locations, and shapes of objects. Symbols
appearing in the resulting explanations acquire
meaning through the theory, and yet are grounded by
the robot's interaction with the world. The proposed
framework draws on existing logic-based formalisms
for representing action, continuous change, space, and
shape. Noise is treated as a kind of non-determinism,
and is...
442.
Robotics and the Common Sense Informatic Situation
- Murray Shanahan,Queen Mary,Westfield College
Any model of the world a robot constructs on the basis
of its sensor data is necessarily both incomplete, due
to the robot's limited window on the world, and
uncertain, due to sensor and motor noise. This paper
proposes a logic-based framework in which such
models are constructed through an abductive process
whereby sensor data is explained by hypothesising the
existence, locations, and shapes of objects. Symbols
appearing in the resulting explanations acquire
meaning through the theory, and yet are grounded by
the robot's interaction with the world. The proposed
framework draws on existing logic-based formalisms
for representing action, continuous change, space, and
shape. Noise is treated as a kind of non-determinism,
and is...
443.
Centrum voor Wiskunde en Informatica Software ENgineering
- R. Lmmel,J. M. W. Visser,Ralf Lammel,Joost Visser
Lacking support for generic traversal, functional programming languages su#er from a scalabilityproblem when
applied to large-scale program transformation problems. As a solution, we introduce functional strategies :
typeful generic functions that not only can be applied to terms of any type, but which also allow generic
traversal into subterms. We showhow strategies are modelled inside a functional language, and wepresent a
combinator library including generic traversal combinators. We illustrate our technique of programming with
functional strategies by an implementation of the extract method refactoring forJava.
1998 ACM Computing Classi#cation System: D.1.1, D.1.2, D.2.3, D.2.13, D.3.3, I.1.1, I.1.2, I.1.3, I.2.2
Keywords and Phrases: Genericity, traversal, combinators, program transformation
1.
444.
Centrum voor Wiskunde en Informatica Software ENgineering
- Y. S. Usenko,Yaroslav S. Usenko
We describe a linearization algorithm for CRL processes, similar to the one described in [21] for a subset
of the language called parallel pCRL. This algorithm finds its roots in formal language theory: the `grammar'
defining a process is transformed into a variant of Greibach Normal Form. Next, any such form is further
reduced to linear form, i.e., to an equation that resembles a right-linear, data-parametric grammar. From the
other perspective, linear specifications in CRL resemble symbolic representations of transition systems, that
can be further transformed and analyzed by many of the existing tools and techniques. We aim at proving the
correctness of this linearization algorithm....
445.
Acta Informatica 38, 587--598 (2002)
- Venkatesan T. Chakaravarthy,Susan Horwitz
Determining points-to sets is an important static-analysis
problem. Most of the classic static analyses (used e.g., by compilers
or in programming environments) rely on knowing which variables
might be used or defined by each expression in a program. In the
presence of pointers, the use/def set of an expression like *p = *q can
only be determined given (safe) points-to sets for p and q.
446.
Centrum voor Wiskunde en Informatica INformation Systems
- Martin Alberink,Lloyd Rutledge,Mettina Veenstra
For humans to gain comprehensive views of large amounts of repository contents, they need to
have insight into the relations among information objects. It is a challenge to automatically
generate presentations of repository contents, through, for example, search results, which
reveal such relations to readers. Such presentations must reflect properties of information
objects such that large sets of information objects appear as a coherent whole. An approach to
this is generation of discourse structures that convey such properties of information objects in
presentations. Semantic Web technology provides a conceptual basis for generation of
discourse in Web-based information environments. This paper describes automatic generation
of sequence and emphasis in...
447.
Informatica 28 Page Xxx--Yyy 1
- Zhi-hua Zhou,Ming Li,Honghua Dai
this paper, aggregative-learning is proposed. In this paradigm, every
site maintains a local learner trained from its own data. Upon receiving a request for
prediction, an aggregative-learner of a local site activates and sends out many mobile
agents taking the request to potential remote learners. The prediction of the aggregativelearner
is made by combining the local prediction and the responses brought back by the
agents. Experiments show that the prediction of a local learner could be significantly
improved through employing the aggregative-learning paradigm
448.
La educación en la era de la informática : qué da resultado y qué no
- Seminario sobre la Educación en la Era de la Informática ( 1997 : Cartagena, Colombia); Moura Castro, Claudio de (comp.); Quick, Stephen A. (pref.); Wirsig, Waldemar W. (pref.)
1-886938-48-2
449.
Informática y Ciencias Sociales
- Marrero Morales, Miguel ángel; López Naranjo, Julio César; Ruano Rodríguez, Salvador; Colegio Público Barranco de Balos (Santa Lucia)
Proyecto de educación desarrollado por doce profesores en el CP 'Barranco de Balos'. Los objetivos fueron: dotar al profesorado de un recurso innovador en el proceso de aprendizaje, conocer las aplicaciones informáticas que el mercado ofrece sobre las Ciencias Sociales, diseñar aplicaciones basándose en programas tales como Story-Board, Linkway, etc., especialmente en el ámbito de la historia, por su escasa e inadecuada oferta comercial, elaborar guías de uso de determinados programas, elaborar unidades didácticas en las que se introduzca el trabajo informático como un recurso más en el proceso de aprendizaje, intercambiar conocimientos y experiencias con otros grupos o seminarios...
450.
Informática y Ciencias Sociales
- Marrero Morales, Miguel ángel; López Naranjo, Julio César; Ruano Rodríguez, Salvador; Colegio Público Barranco de Balos (Santa Lucia)
Proyecto de educación desarrollado por doce profesores en el CP 'Barranco de Balos'. Los objetivos fueron: dotar al profesorado de un recurso innovador en el proceso de aprendizaje, conocer las aplicaciones informáticas que el mercado ofrece sobre las Ciencias Sociales, diseñar aplicaciones basándose en programas tales como Story-Board, Linkway, etc., especialmente en el ámbito de la historia, por su escasa e inadecuada oferta comercial, elaborar guías de uso de determinados programas, elaborar unidades didácticas en las que se introduzca el trabajo informático como un recurso más en el proceso de aprendizaje, intercambiar conocimientos y experiencias con otros grupos o seminarios...
451.
Unknown
- Vakgroep Informatica,Budapestlaan Cd Utrecht
It will be shown that by using linked allocation a P-RAM of K processors can
maintain J stacks of total size S in space O(JK +S) while each simultaneous update of the J
stacks takes O(logK + 1ogm.axlSjl ) time where ISjl is the size of the jh stack. Thus, the
use of linked allocation in PRAM algorithms is not necessarily more expensive than the use of
array allocation.
452.
Rijksuniversiteit Utrecht
- Bu Cd Utrecht,Vakgroep Informatica
This report surveys a number of algorithms that enumerate all subgraphs or subsets
of a certain kind. It is organized as follows. In the next section of this chapter we give some
definitions. In chapters 2 through 7 we discuss algorithms that enumerate all cycles, paths, spanning
trees, cliques, maximal independent sets and cut-sets of a graph respectively
453.
Modelos curriculares nivel licenciatura [en] informática [y] computación
- Instituto Nacional de Estadística, Geografía e Informática
970-13-1612-6
454.
Boletín de política informática : año XXI, número 1
- Instituto Nacional de Estadística, Geografía e Informática
0186-0461
455.
Boletín de política informática : año XXI, número 2
- Instituto Nacional de Estadística, Geografía e Informática
0186-0461
456.
Boletín de política informática : año XXI, número 3
- Instituto Nacional de Estadística, Geografía e Informática
0186-0461
457.
Los medios informáticos en un nuevo enfoque del aprendizaje
- Alonso López, Juan Antonio; Instituto de Bachillerato José Luis Sampedro (Tres Cantos, Madrid)
El proyecto propone introducir las nuevas tecnologías en el aula (en concreto la informática) para renovar los contenidos curriculares, mejorar las prácticas didácticas habituales y facilitar el aprendizaje del alumno. Los objetivos son: aproximar al alumnado a la utilización de las herramientas informáticas en el aprendizaje; desarrollar aspectos curriculares; fomentar la investigación; elaborar nuevos materiales didácticos; potenciar el trabajo en equipo, el intercambio de experiencias y la interdisciplinariedad; y favorecer un aprendizaje personalizado. La experiencia comienza con un proceso de formación básica inicial en el que se presenta a los alumnos la hoja de cálculo y base de datos con...
458.
Los medios informáticos en un nuevo enfoque del aprendizaje
- Alonso López, Juan Antonio; Instituto de Bachillerato José Luis Sampedro (Tres Cantos, Madrid)
El proyecto propone introducir las nuevas tecnologías en el aula (en concreto la informática) para renovar los contenidos curriculares, mejorar las prácticas didácticas habituales y facilitar el aprendizaje del alumno. Los objetivos son: aproximar al alumnado a la utilización de las herramientas informáticas en el aprendizaje; desarrollar aspectos curriculares; fomentar la investigación; elaborar nuevos materiales didácticos; potenciar el trabajo en equipo, el intercambio de experiencias y la interdisciplinariedad; y favorecer un aprendizaje personalizado. La experiencia comienza con un proceso de formación básica inicial en el que se presenta a los alumnos la hoja de cálculo y base de datos con...
459.
Artificial Vision in the Nao Humanoid Robot
- González Sánchez, Tomás
Tesis de final de Master realitzada en col.laboració amb l'Universitat Rovira i Virgili. Departament d'Enginyeria Informàtica i Matemàtiques
460.
Informática y educación : Plan Atenea en marcha
- Yebra Calleja, Ramón
Se presenta un folleto informativo sobre las posibilidades de la informática en la educación, en el marco del Proyecto Atenea, haciendo incapié en las actividades desarrolladas por el CEP de Belmonte (Cuenca). Se realiza una introducción general sobre la informática y la educación y se procede al análisis de las posibilidades de la informática en la enseñanza: programas lineales, programas ramificados, simulaciones, juegos, resolución de problemas y programas de ususario. Se presenta el Proyecto Atenea, analizando sus objetivos educativos, dotaciones y las posibilidades de formación que ofrece al profesorado. Se adjunta un cuestionario cuyas respuestas sirven de base para la...
