5239 search results - page 642 / 1048 » Model-Integrated Embedded Systems |
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...
148
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
Voted
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 ...
210
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 ...
178
click to vote
ROBOCUP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...