6960 search results - page 521 / 1392 » Continuity Analysis of Programs |
183
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we describe the analysis component of an indoor, real-time, multi-camera surveillance system. The analysis includes: (1) a novel feature-level foreground segmentatio...
173
click to vote
ISSRE
2002
IEEE
15 years 12 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
197
click to vote
SSIAI
2002
IEEE
15 years 12 months ago
2002
IEEE
We develop a novel measure of joint time-frequency localization applicable to equivalence classes of finite-length discrete signals, which are of increasing importance in modern ...
152
click to vote
NLDB
2000
Springer
15 years 10 months ago
2000
Springer
: The information system analysis process is considered as a difficult phase during the information systems development. The difficulty lies in gathering relevant information from ...
161
click to vote
ICMCS
1995
IEEE
15 years 10 months ago
1995
IEEE
Scienti c research addressing global change continues to generate large quantities of information for analysis and understanding. However, the volume, distributed nature, and dive...