RP
2015
Springer
8 years 3 months ago
2015
Springer
Abstract. We consider probabilistic automata over finite words. Such an automaton defines the language consisting of the set of words accepted with probability greater than a giv...
RP
2015
Springer
8 years 3 months ago
2015
Springer
ander Malkis. MultithreadedCartesian Abstract Interpretation of Multithreaded Recursive Programs is Polynomial ● Masaya Shimakawa, Shigeki Hagihara and Nao...
RP
2015
Springer
8 years 3 months ago
2015
Springer
Abstract. Interrupt Timed Automata (ITA) form a subclass of stopwatch automata where reachability and some variants of timed model checking are decidable even in presence of parame...
ROMAN
2015
IEEE
8 years 3 months ago
2015
IEEE
— In our experiment, two autonomously moving costumed robots visit 256 offices during a ‘reverse’ trick-ortreating task close to Halloween. Our behavioral data supports the i...
ROMAN
2015
IEEE
8 years 3 months ago
2015
IEEE
— It is generally accepted that a robot should exhibit a contingent behavior, adaptable to the needs of each individual user, to achieve a more natural and pleasant interaction. ...
ROMAN
2015
IEEE
8 years 3 months ago
2015
IEEE
— In this paper we present a system for all and sundry to create robotic applications which is characterized by adaptivity on different levels. First, users are enabled to create...
ROMAN
2015
IEEE
8 years 3 months ago
2015
IEEE
— Having a well-developed Graphical User Interface (GUI) is often necessary for a human-robot team, especially when the human and the robot are not in close proximity to each oth...
ROMAN
2015
IEEE
8 years 3 months ago
2015
IEEE
— Standardized metrics for assessing the success of robots is a necessity for a research field to compare and validate results. The Godspeed Questionnaire Series (GQS) is one of...
ROMAN
2015
IEEE
8 years 3 months ago
2015
IEEE
Abstract— This paper explores visual pointing gestures for two-way nonverbal communication for interacting with a robot arm. Such non-verbal instruction is common when humans com...
ROMAN
2015
IEEE
8 years 3 months ago
2015
IEEE
—With the Robonaut-2 humanoid robot now permanently flying on the ISS, the potential role for robots participating in cooperative activity in space is becoming a reality. Recent ...