1271 search results - page 210 / 255 » On Simulation-Checking with Sequential Systems |
FIW
2007
13 years 10 months ago
2007
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
NIPS
2008
13 years 10 months ago
2008
Sequential optimal design methods hold great promise for improving the efficiency of neurophysiology experiments. However, previous methods for optimal experimental design have in...
GRAPHICSINTERFACE
2001
13 years 10 months ago
2001
An image sequence is a series of interrelated images. To enable navigation of large image sequences, many current software packages display small versions of the images, called th...
DGO
2003
13 years 10 months ago
2003
New technology in knowledge discovery and data mining (KDD) make it possible to extract valuable information from operational data. Private businesses already use the technology f...
IAAI
2001
13 years 10 months ago
2001
For the last 10 years, airlines have widely supported research on the development of airspaces where aircraft would be free to decide their trajectory: these areas where called Fr...