1415 search results - page 168 / 283 » Verified systems by composition from verified components |
139
click to vote
CICLING
2009
Springer
16 years 6 months ago
2009
Springer
A desirable property for any system dealing with unrestricted natural language text is robustness, the ability to analyze any input regardless of its grammaticality. In this paper ...
163
click to vote
SAS
2009
Springer
16 years 6 months ago
2009
Springer
ion Refinement for Quantified Array Assertions Mohamed Nassim Seghir1, , Andreas Podelski1 , and Thomas Wies1,2 1 University of Freiburg, Germany 2 EPFL, Switzerland Abstract. We p...
165
click to vote
WIKIS
2009
ACM
16 years 25 days ago
2009
ACM
Wikipedia has been very successful as an open encyclopedia which is editable by anybody. However, the anonymous nature of Wikipedia means that readers may have less trust since th...
159
click to vote
SEAA
2008
IEEE
16 years 21 days ago
2008
IEEE
In this exploratory case study, effort distribution visualizations of industrial software development projects are made in order to assess to what extent patterns can be found tha...
184
click to vote
ICC
2007
IEEE
16 years 19 days ago
2007
IEEE
— This paper addresses a low complexity frequency offset estimator for multiple-input multiple-output (MIMO) orthogonal frequency division multiplexing (OFDM) systems over freque...