1355 search results - page 226 / 271 » Techniques for Formal Verification of Digital Systems: A Sys... |
JCDL
2004
ACM
14 years 2 months ago
2004
ACM
With the growth of digital music, content-based music retrieval (CBMR) has attracted increasingly attention. For most CBMR systems, the task is to return music objects similar to ...
CAISE
2001
Springer
14 years 1 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
ENTCS
2008
13 years 9 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
PAMI
2002
13 years 8 months ago
2002
We introduce a formalism for optimal sensor parameter selection for iterative state estimation in static systems. Our optimality criterion is the reduction of uncertainty in the st...
MM
2004
ACM
14 years 2 months ago
2004
ACM
Colonoscopy is an important screening tool for colorectal cancer. During a colonoscopic procedure, a tiny video camera at the tip of the endoscope generates a video signal of the ...