4306 search results - page 457 / 862 » Timed Testing with TorX |
113
click to vote
IJCAI
2001
15 years 5 months ago
2001
The implementation of effective reasoning tools for deciding the satisfiability of Quantified Boolean Formulas (QBFs) is an important research issue in Artificial Intelligence. Ma...
123
click to vote
EUSFLAT
2003
15 years 5 months ago
2003
Industrial processes can be often modelled using Petri nets. If all the process variables (or events) are assumed to be twovalued signals, then it is possible to obtain a hardware...
113
Voted
MASCOTS
2001
15 years 5 months ago
2001
Abstract--Long-range dependence has been observed in many recent Internet traffic measurements. In addition, some recent studies have shown that under certain network conditions, T...
106
click to vote
GRAPHICSINTERFACE
2003
15 years 5 months ago
2003
Transparency can be used to increase the visibility of a user’s workspace in situations where the space is obscured by floating windows and tool palettes. Dynamic transparency t...
161
click to vote
GRAPHICSINTERFACE
2003
15 years 5 months ago
2003
Modeling complex realistic objects is a difficult and time consuming process. Nevertheless, with improvements in rendering speed and quality, more and more applications require s...