3829 search results - page 140 / 766 » Improving Our Reviewing Processes |
126
click to vote
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
157
click to vote
ISCA
2008
IEEE
15 years 10 months ago
2008
IEEE
Flash is a widely used storage device that provides high density and low power, appealing properties for general purpose computing. Today, its usual application is in portable spe...
133
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We consider concurrent games played on graphs. At every round of the game, each player simultaneously and independently selects a move; the moves jointly determine the transition ...
140
click to vote
SECON
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—Besides safe navigation (e.g., warning of approaching vehicles), car to car communications will enable a host of new applications, ranging from office-on-the-wheel supp...
169
click to vote
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
We compare in this study two image restoration approaches for the pre-processing of printed documents: namely the Non-local Means filter and a total variation minimization approac...