4211 search results - page 707 / 843 » A formal approach to MASQ |
157
click to vote
AVSS
2005
IEEE
16 years 2 days ago
2005
IEEE
An attractive approach to improve tracking performance for visual surveillance is to use information from multiple visual sensory cues such as position, color, shape, etc. Previou...
169
click to vote
ESCIENCE
2005
IEEE
16 years 2 days ago
2005
IEEE
Clusters of workstations are one of the most suitable resources to assist e-scientists in the execution of largescale experiments that demand processing power. The utilization rat...
152
click to vote
HICSS
2005
IEEE
16 years 2 days ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
170
click to vote
ICDM
2005
IEEE
16 years 2 days ago
2005
IEEE
It is estimated that ninety percent of the world’s species have yet to be discovered and described. The main reason for the slow pace of new species description is that the scie...
178
click to vote
ICRA
2005
IEEE
16 years 1 days ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...