5577 search results - page 203 / 1116 » E2K Technology and Implementation |
163
click to vote
OTM
2010
Springer
15 years 3 months ago
2010
Springer
Making well-founded security investment decisions is hard: several alternatives may need to be considered, the alternatives’ space is often diffuse, and many decision parameters...
136
click to vote
SPATIALCOGNITION
2010
Springer
15 years 3 months ago
2010
Springer
Survey knowledge of spatial environments can be successfully conveyed by visual maps. For visually impaired people, tactile maps have been proposed as a substitute. The latter are ...
140
click to vote
SPIRE
2010
Springer
15 years 3 months ago
2010
Springer
We consider string matching with variable length gaps. Given a string T and a pattern P consisting of strings separated by variable length gaps (arbitrary strings of length in a sp...
169
click to vote
SPIRE
2010
Springer
15 years 3 months ago
2010
Springer
Several IR tasks rely, to achieve high efficiency, on a single pervasive data structure called the inverted index. This is a mapping from the terms in a text collection to the docu...
141
click to vote
TSE
2010
15 years 3 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...