358 search results - page 22 / 72 » Investigating the Process of Process Modeling with Cheetah E... |
ICDE
2007
IEEE
14 years 2 months ago
2007
IEEE
Various techniques have been developed for different query types in content-based image retrieval (CBIR) systems such as sampling queries, constrained sampling queries, multiple c...
FMICS
2010
Springer
13 years 7 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
EMMCVPR
2001
Springer
14 years 5 days ago
2001
Springer
To segregate overlapping objects into depth layers requires the integration of local occlusion cues distributed over the entire image into a global percept. We propose to model thi...
TSE
1998
13 years 7 months ago
1998
—This paper demonstrates the use of a model-based evaluation approach for instrumentation systems (ISs). The overall objective of this study is to provide early feedback to tool ...
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
During the last decade, speaker verification systems have shown significant progress and have reached a level of performance and accuracy that support their utilization in pract...