3773 search results - page 535 / 755 » Using Ontologies for Integrated Geographic Information Syste... |
215
click to vote
FPL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. High level modeling tools make it possible to synthesize a high performance FPGA design directly from a Simulink model. Accurate estimates of the FPGA resources required ...
183
click to vote
SEM
2004
Springer
15 years 12 months ago
2004
Springer
Resource management is a precondition to build reliable, extensible middleware and to host potentially untrusted user components. Resource accounting allows to charge users for the...
163
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we discuss the recent ESG’s development and implementation efforts concerning its authentication infrastructure. ESG’s requirements are to make the user’s log...
178
click to vote
MICCAI
1999
Springer
15 years 10 months ago
1999
Springer
This paper reports the development of a robotic system designed to extend a human’s ability to perform small-scale (sub-millimeter) manipulation tasks requiring human judgement, ...
190
click to vote
FROCOS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...