2583 search results - page 433 / 517 » On the Representation of Timed Polyhedra |
134
click to vote
SSS
2010
Springer
15 years 4 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
180
click to vote
CACM
2010
15 years 4 months ago
2010
As it becomes increasingly viable to capture, store, and share large amounts of image and video data, automatic image analysis is crucial to managing visual information. Many prob...
141
click to vote
BMVC
2010
15 years 4 months ago
2010
This paper presents a new descriptor for human detection in still images. It is referred to as isotropic granularity-tunable gradients partition (IGGP), which is extended from gra...
157
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we tackle the problem of coordinating multiple decentralised agents with continuous state variables. Specifically we propose a hybrid approach, which combin...
170
click to vote
ICPADS
2010
IEEE
15 years 4 months ago
2010
IEEE
Control decisions of intelligent devices in critical infrastructure can have a significant impact on human life and the environment. Insuring that the appropriate data is availabl...