3199 search results - page 368 / 640 » Variability in Automation System Models |
179
click to vote
ICCV
2003
IEEE
15 years 12 months ago
2003
IEEE
Automatically understanding events happening at a site is the ultimate goal of visual surveillance system. This paper investigates the challenges faced by automated surveillance s...
168
click to vote
FLAIRS
2003
15 years 8 months ago
2003
This paper describes a vector space equalization scheme for a concept-based collaborative information retrieval system; evaluation results are given. The authors previously propos...
160
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper presents a sum of squares (SOS) approach to the stability analysis of networked control systems (NCSs) incorporating time-varying delays and time-varying transmission in...
146
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
158
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
As human-computer interaction becomes more closely modeled on human-human interaction, new techniques and strategies for human-computer interaction are required. In response to th...