2634 search results - page 148 / 527 » Faster Than Uppaal |
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
Efficient evaluation of design choices, in terms of selection of algorithms to be implemented as hardware or software, and finding an optimal hw/sw design mix is an important re...
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
A class of discrete event synthesis problems can be reduced to solving language equations F • X ⊆ S, where F is the fixed component and S the specification. Sequential synthes...
EH
2005
IEEE
14 years 3 months ago
2005
IEEE
Co-evolution of system models and system tests can be used for exploratory system identification of physical platforms. Here we demonstrate how the amount of physical testing can ...
ICDM
2005
IEEE
14 years 3 months ago
2005
IEEE
In this paper we address the problem of learning the Markov blanket of a quantity from data in an efficient manner. Markov blanket discovery can be used in the feature selection ...
ICW
2005
IEEE
14 years 3 months ago
2005
IEEE
Downloading multimedia content from the Internet becomes more and more popular. Consumers have more to consider than just the name of the artist or the title of the content when t...