17185 search results - page 58 / 3437 » Computational and Quantitative Studies |
BIRTHDAY
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...
HAPTICS
2009
IEEE
15 years 4 months ago
2009
IEEE
We measure the performance improvement that force feedback can provide in a virtual environment, through three experiments with, and without the assistance of haptic guidance. Per...
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
— IT-security has become a much diversified field and small and medium sized enterprises (SMEs), in particular, do not have the financial ability to implement a holistic IT-se...
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
IJCAI
2007
14 years 11 months ago
2007
In human-robot interaction (HRI) it is essential that the robot interprets and reacts to a human’s utterances in a manner that reflects their intended meaning. In this paper we...