2351 search results - page 114 / 471 » A Method of Requirement Inconsistency Analysis |
109
click to vote
FLAIRS
2006
14 years 11 months ago
2006
Pervasive surveillance implies the continuous tracking of multiple targets as they move about the monitored region. The tasks to be performed by a surveillance system are expresse...
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we propose a character segmentation method for multispectral images of ancient documents. Due to the low quality of the images the main idea of this study is to comb...
FLAIRS
2004
14 years 11 months ago
2004
We apply reasoning about mental attributes to process the scenarios of multiagent conflicts. Our approach is illustrated by the domain of complaint analysis: rather advanced metho...
106
click to vote
ASPDAC
2012
ACM
13 years 5 months ago
2012
ACM
—In both pre-silicon and post-silicon validation, the detection of design errors requires both stimulus capable of activating the errors and checkers capable of detecting the beh...
CHARME
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...