1461 search results - page 233 / 293 » On Regular Reduced Products |
ICSE
1999
IEEE-ACM
14 years 3 hour ago
1999
IEEE-ACM
Structural coverage criteria are often used as an indicator of the thoroughness of testing, but complete satisfaction of a criterion is seldom achieved. When a software product is...
EUROMICRO
1998
IEEE
14 years 2 hour ago
1998
IEEE
The continuing explosive growth of the web has not been matched by an adequate enhancement of the infrastructure on which it depends. Both consumers and producers are often left f...
SAS
1999
Springer
13 years 12 months ago
1999
Springer
Complementation, the inverse of the reduced product operation, is a technique for systemfinding minimal decompositions of abstract domains. Fil´e and Ranzato advanced the state ...
VISUALIZATION
1998
IEEE
13 years 12 months ago
1998
IEEE
One common problem in the practical application of volume visualization is the proper choice of transfer functions in order to color different parts of the volume meaningfully. Th...
CHI
1997
ACM
13 years 12 months ago
1997
ACM
An experimental GUI paradigm is presented which is based on the design goals of maximizing the amount of screen used for application data, reducing the amount that the UI diverts ...