2173 search results - page 156 / 435 » On the Values of Reducibility Candidates |
185
click to vote
HASE
2007
IEEE
16 years 25 days ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
169
click to vote
ICASSP
2007
IEEE
16 years 24 days ago
2007
IEEE
Lung nodule detection, especially ground glass opacity (GGO) detection, in helical computed tomography (CT) images is a challenging Computer-Aided Detection (CAD) task due to the ...
164
click to vote
LICS
2007
IEEE
16 years 23 days ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
156
click to vote
ROMAN
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract—Models that can efficiently, compactly, and semantically represent potential users are important tools for human-robot interaction applications. We model a person as a p...
185
click to vote
SEUS
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract. Wireless sensor networks (WSNs) are comprised of energy constrained nodes. This limitation has led to the crucial need for energy-aware protocols to produce an efficient ...