Sciweavers

1389 search results - page 61 / 278
» Definability as hypercomputational effect
Sort
View
JIRS
2007
346views more  JIRS 2007»
13 years 8 months ago
Vision Based Target Tracking and Collision Avoidance for Mobile Robots
A real-time object tracking and collision avoidance method for mobile robot navigation is presented using stereo vision and a laser sensor. Stereo vision is used to identify the ta...
Athanasios Tsalatsanis, Kimon P. Valavanis, Ali Ya...
FGCS
2000
90views more  FGCS 2000»
13 years 8 months ago
An ANTS heuristic for the frequency assignment problem
The problem considered in this paper consists in defining an assignment of frequencies to radio links, to be established between base stations and mobile transmitters, which minim...
Vittorio Maniezzo, Antonella Carbonaro
TCS
2002
13 years 8 months ago
Monadic second-order logic on tree-like structures
An operation M which constructs from a given structure M a tree-like structure whose domain consists of the finite sequences of elements of M is considered. A notion of automata r...
Igor Walukiewicz
KES
2008
Springer
13 years 8 months ago
A Procedure Ontology for Advanced Diagnosis of Process Systems
An ontology for representing operation, safety and control procedures is proposed in this paper that supports diagnosis based on following these procedures and combining observed m...
Katalin M. Hangos, Erzsébet Németh, ...
ISAMI
2010
13 years 6 months ago
Accurate Temporal Relationships in Sequences of User Behaviours in Intelligent Environments
Intelligent Environments are supposed to act proactively anticipating user's needs and preferences in order to provide effective support. Therefore, learning user's frequ...
Asier Aztiria, Juan Carlos Augusto, Rosa Basagoiti...