4341 search results - page 48 / 869 » Quantitative Model checking |
ETFA
2005
IEEE
14 years 2 months ago
2005
IEEE
The X-by-Wire systems in cars can only be accepted if they provide at least the same dependability than the traditional ones. In this paper we propose a new approach to evaluate t...
LICS
2005
IEEE
14 years 2 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...
CONTEXT
2005
Springer
14 years 2 months ago
2005
Springer
We test a method of clustering dialects of English according to patterns of shared phonological features. Previous linguistic research has generally considered phonological feature...
IJCAI
2007
13 years 10 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...
JASIS
2006
13 years 8 months ago
2006
This paper reports on an experimental study on the differences between spoken and written queries. A set of written and spontaneous spoken queries are generated by users from writ...