4678 search results - page 657 / 936 » Integrated University Information Systems |
166
click to vote
MKM
2007
Springer
16 years 27 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
198
click to vote
CVPR
2010
IEEE
16 years 12 days ago
2010
IEEE
We consider the problem of recognizing human actions from still images. We propose a novel approach that treats the pose of the person in the image as latent variables that will h...
151
click to vote
ISWC
2005
IEEE
16 years 11 days ago
2005
IEEE
We propose a two-stage recognition system for detecting arm gestures related to typical meal intake. Information retrieved from such a system can be used for automatic dietary mon...
194
click to vote
EPIA
2005
Springer
16 years 9 days ago
2005
Springer
Each part of a mobile robot has particular aspects of its own, which must be integrated in order to successfully conclude a specific task. Among these parts, sensing enables to co...
161
click to vote
EUROPAR
2005
Springer
16 years 9 days ago
2005
Springer
In this paper we introduce INSEE, an environment to help in the design of interconnection networks for parallel computing systems. It contains two basic modules: a system to genera...