7811 search results - page 1055 / 1563 » computing 2004 |
157
click to vote
GG
2004
Springer
15 years 12 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
180
click to vote
GG
2004
Springer
15 years 12 months ago
2004
Springer
Refactorings are transformations that change the structure of a program, while preserving the behavior. The topic has attracted a lot of attention recently, since it is a promising...
168
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
As the wireless technology evolves, one can access the Internet almost everywhere via many wireless access networks such as wireless LAN and GPRS. People would like to use the wir...
195
click to vote
ADCS
2004
15 years 7 months ago
2004
Relevance profiling is a general process for withindocument retrieval. Given a query, a profile of retrieval status values is computed by sliding a fixed sized window across a doc...
197
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
We present a method of extending the dynamic range of an picture with two different exposure images. Since pictures under different exposure times show different scene dynamic ran...