Sciweavers

124 search results - page 19 / 25
» Model a discourse and transform it to your user interface
Sort
View
PERCOM
2010
ACM
13 years 5 months ago
A 3-layer architecture for smart environment models
— Enriched with more and more intelligent devices modern homes rapidly transform into smart environments. Their growing capabilities enable the implementation of a new generation...
Grzegorz Lehmann, Andreas Rieger, Marco Blumendorf...
IROS
2007
IEEE
128views Robotics» more  IROS 2007»
14 years 1 months ago
EMG-based teleoperation of a robot arm using low-dimensional representation
Abstract— In robot teleoperation scenarios, the interface between the user and the robot is undoubtedly of high importance. In this paper, electromyographic (EMG) signals from mu...
Panagiotis K. Artemiadis, Kostas J. Kyriakopoulos
FROCOS
2011
Springer
12 years 7 months ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...
ASWC
2006
Springer
13 years 9 months ago
A Semantic Search Conceptual Model and Application in Security Access Control
Abstract. We propose a conceptual model for semantic search and implement it in security access control. The model provides security access control to extend the search capabilitie...
Kunmei Wen, Zhengding Lu, Ruixuan Li, Xiaolin Sun,...
ACHI
2009
IEEE
14 years 2 months ago
A Model-Driven Development Approach Focusing Human Interaction
Human interaction like entering some data, making decisions etc. has to be dealt with as an integral part of today’s business processes and the supporting IT likewise. Hence, hu...
Stefan Link, Philip Hoyer, Tilmann Kopp, Sebastian...