4502 search results - page 700 / 901 » Regular Model Checking |
151
click to vote
ACSD
2005
IEEE
15 years 12 months ago
2005
IEEE
We introduce and study problems of distributed observation with bounded or unbounded memory. We are given a system modeled as a finite-word language L over some finite alphabet ...
154
click to vote
CGO
2005
IEEE
15 years 12 months ago
2005
IEEE
Register allocation is one of the most important optimizations a compiler performs. Conventional graphcoloring based register allocators are fast and do well on regular, RISC-like...
157
click to vote
ISVLSI
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper, we introduce a novel context sensitive system design paradigm. Multiple sensors/ computational architecture, in the form of our eWatch device, is used to infer the ...
179
click to vote
SCALESPACE
2005
Springer
15 years 11 months ago
2005
Springer
The problem of image deblurring in the presence of salt and pepper noise is considered. Standard image deconvolution algorithms, that are designed for Gaussian noise, do not perfor...
153
click to vote
ICWL
2004
Springer
15 years 11 months ago
2004
Springer
In Web-based e-learning, an up-to-date catalogue of subject-specific Web resources can effectively offer inexperienced students with an advanced academic portal on the Web. To auto...