6701 search results - page 865 / 1341 » Medical Embedded Systems |
199
click to vote
ISSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...
164
click to vote
FC
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we consider the problem of efficiently locating cryptographic keys hidden in gigabytes of data, such as the complete file system of a typical PC. We describe efficie...
149
click to vote
VISUALIZATION
1999
IEEE
15 years 11 months ago
1999
IEEE
Wepresent an algorithm which renders opaque andor translucent polygons embedded within volumetric data Theprocessing occurs such thai all objects are composited in the correct ord...
171
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...
211
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
This work proposes a system process for extracting automatically a fuzzy ontology from a collection of web resources. The approach exploits the Formal Concept Analysis theory for ...