Sciweavers

4961 search results - page 324 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
CEC
2007
IEEE
15 years 10 months ago
Attraction and cooperation in space
—This paper presents an attraction mechanism and a study of its behavior in noisy spatial IPD games. The attraction mechanism is coupled with a regular IPD strategy to produce th...
Elpida Tzafestas
ICALT
2007
IEEE
15 years 10 months ago
Teaching Science subjects to Blind Students
Access to the disciplines of science, Technology, Engineering and Mathematics (STEM) for blind and vision impaired people continues to be a problem. The inherently visual nature o...
Donal Fitzpatrick
IROS
2007
IEEE
93views Robotics» more  IROS 2007»
15 years 10 months ago
Computational sensor networks
— We propose Computational Sensor Networks as a methodology to exploit models of physical phenomena in order to better understand the structure of the sensor network. To do so, i...
Thomas C. Henderson, Christopher A. Sikorski, Edwa...
ICALP
2007
Springer
15 years 10 months ago
A Combinatorial Theorem for Trees
Following the idea developed by I. Simon in his theorem of Ramseyan factorisation forests, we develop a result of ‘deterministic factorisations’. This extra determinism propert...
Thomas Colcombet
TYPES
2007
Springer
15 years 10 months ago
Dependently Sorted Logic
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
João Filipe Belo