593 search results - page 71 / 119 » Semantics-Preserving Procedure Extraction |
138
click to vote
RTCSA
2007
IEEE
15 years 9 months ago
2007
IEEE
This work is motivated by a strong market demand in the replacement of NOR flash memory with NAND flash memory to cut down the cost in many embedded-system designs, such as mobi...
113
click to vote
LPAR
2007
Springer
15 years 9 months ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
125
Voted
SUTC
2006
IEEE
15 years 9 months ago
2006
IEEE
Recent advances in computer power, network bandwidth, information storage, and multimedia/signal processing techniques have led to a proliferation of multimedia data. As a result,...
113
click to vote
HM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The maximum diversity problem (MDP) consists in identifying, in a population, a subset of elements, characterized by a set of attributes, that present the most diverse ch...
144
click to vote
VLSM
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we propose a surface reconstruction method for highly noisy and non-uniform data based on minimal surface model and tensor voting method. To deal with ill-posedness, ...