15416 search results - page 175 / 3084 » Embeddings of Computable Structures |
149
click to vote
ERSA
2003
15 years 5 months ago
2003
Many embedded applications can benefit from the flexible custom computing opportunities that FPGA technology offers. The Run-Time Reconfiguration (RTR) of the FPGA as an applicati...
146
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
Recent years have seen the evolution of networks of tiny low power computing blocks, known as sensor networks. In one class of sensor networks, a non-expert user, who has little o...
155
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
In this paper, we propose a general framework for approximating differential operator directly on point clouds and use it for geometric understanding on them. The discrete approxi...
133
click to vote
MPC
1995
Springer
15 years 7 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
146
click to vote
CASES
2003
ACM
15 years 9 months ago
2003
ACM
Recent research in sensor networks has raised issues of security for small embedded devices. Security concerns are motivated by the deployment of a large number of sensory devices...