757 search results - page 37 / 152 » clear 2007 |
FGR
2008
IEEE
15 years 4 months ago
2008
IEEE
To provide intelligent services in a smart environments it is necessary to acquire information about the room, the people in it and their interactions. This includes, for example,...
CLEAR
2007
Springer
15 years 4 months ago
2007
Springer
This paper describes efforts by the University of Pennsylvania's Linguistic Data Consortium to create and distribute shared linguistic resources – including data, annotation...
MKM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
PAMI
2007
14 years 9 months ago
2007
—A new unsupervised forward orthogonal search (FOS) algorithm is introduced for feature selection and ranking. In the new algorithm, features are selected in a stepwise way, one ...
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
We show how to construct the category of games and innocent strategies from a more primitive category of games. On that category we define a comonad and monad with the former dis...