2763 search results - page 343 / 553 » The Dangerous 'All' in Specifications |
142
click to vote
SIGPRO
2008
15 years 6 months ago
2008
With the rapid development of X-ray source and detector technologies, multi-source scanners become a hot topic in the computed tomography (CT) field, which can acquire several pro...
168
click to vote
SIGPRO
2008
15 years 6 months ago
2008
Digital filters with linear phase responses, that is, constant group delay responses are needed in many applications for signal and image processing. In this paper, a novel method...
176
click to vote
IJVR
2007
15 years 6 months ago
2007
—We present an empirical usability experiment studying the relative strengths and weaknesses of three different occlusion management techniques for discovering and accessing obje...
180
click to vote
ASE
2005
15 years 6 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
158
click to vote
TCS
2008
15 years 6 months ago
2008
To any infinite word t over a finite alphabet A we can associate two infinite words min(t) and max(t) such that any prefix of min(t) (resp. max(t)) is the lexicographically smalle...