1953 search results - page 233 / 391 » Embedded Probabilistic Programming |
102
click to vote
HASE
2005
IEEE
15 years 8 months ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
113
Voted
MEMBRANE
2004
Springer
15 years 7 months ago
2004
Springer
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...
120
click to vote
ISMAR
2003
IEEE
15 years 7 months ago
2003
IEEE
Current Augmented Reality (AR) applications require that the application software be written to support a specific AR interface set up. WireAR was developed to enable output from...
176
click to vote
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
This paper proposes a method for dealing with numerical attributes in inductive concept learning systems based on genetic algorithms. The method uses constraints for restricting th...
101
click to vote
FC
1999
Springer
15 years 6 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...