Sciweavers

IFIP
2010
Springer
14 years 4 months ago
Vector Sensor Arrays in Underwater Acoustic Applications
Traditionally, ocean acoustic signals have been acquired using hydrophones, which measure the pressure field and are typically omnidirectional. A vector sensor measures both the ac...
Paulo Santos, Paulo Felisberto, Sérgio M. J...
IFIP
2010
Springer
14 years 4 months ago
A Face Attention Technique for a Robot Able to Interpret Facial Expressions
Automatic facial expressions recognition using vision is an important subject towards human-robot interaction. Here is proposed a human face focus of attention technique and a faci...
Carlos Simplício, José Augusto Prado...
IFIP
2010
Springer
14 years 4 months ago
Laban Movement Analysis towards Behavior Patterns
This work presents a study about the use of Laban Movement Analysis (LMA) as a robust tool to describe human basic behavior patterns, to be applied in human-machine interaction. LM...
Luís Santos, Jorge Dias
IFIP
2010
Springer
14 years 4 months ago
Grasp Exploration for 3D Object Shape Representation Using Probabilistic Map
In this work it is shown the representation of 3D object shape acquired from grasp exploration. Electromagnetic motion tracking sensors are used on the fingers for object contour f...
Diego R. Faria, Ricardo Martins, Jorge Dias
ICALP
2010
Springer
14 years 4 months ago
Placing Regenerators in Optical Networks to Satisfy Multiple Sets of Requests
The placement of regenerators in optical networks has become an active area of research during the last years. Given a set of lightpaths in a network G and a positive integer d, re...
George B. Mertzios, Ignasi Sau, Mordechai Shalom, ...
ICALP
2010
Springer
14 years 4 months ago
Pumping and Counting on the Regular Post Embedding Problem
Abstract. The Regular Post Embedding Problem is a variant of Post’s Correspondence Problem where one compares strings with the subword relation and imposes additional regular con...
Pierre Chambart, Philippe Schnoebelen
ICALP
2010
Springer
14 years 4 months ago
On Bisimilarity and Substitution in Presence of Replication
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...
Daniel Hirschkoff, Damien Pous
ICALP
2010
Springer
14 years 4 months ago
A Topological Approach to Recognition
We propose a new approach to the notion of recognition, which departs from the classical definitions by three specific features. First, it does not rely on automata. Secondly, it...
Mai Gehrke, Serge Grigorieff, Jean-Eric Pin
ICALP
2010
Springer
14 years 4 months ago
Pebble Weighted Automata and Transitive Closure Logics
Benedikt Bollig, Paul Gastin, Benjamin Monmege, Ma...