3719 search results - page 187 / 744 » order 2010 |
124
click to vote
ATVA
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we provide two compositional algorithms to solve safety games and apply them to provide compositional algorithms for the LTL synthesis problem. We have implemented t...
140
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We introduce a semantics for classical logic with partial functions. We believe that the semantics is natural. When a formula contains a subterm in which a function is ap...
235
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we propose an automated approach to track and recognize daily activities. Any activity is represented in this research as a sequence of raw sensors data. These seque...
132
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Over the past several decades, psycholinguists have gained countless insights into the process of child language acquisition. Can these findings be used for the development of lang...
141
click to vote
FC
2010
Springer
15 years 5 months ago
2010
Springer
We consider the problem of building a secure cloud storage service on top of a public cloud infrastructure where the service provider is not completely trusted by the customer. We...