5624 search results - page 933 / 1125 » On Conditional Covering Problem |
106
click to vote
VRST
1998
ACM
15 years 5 months ago
1998
ACM
The GALILEO-system is a developmental state-of-the-art rigid body simulation tool with a strong bias to the simulation of unilateral contacts for virtual reality applications. On ...
ISAAC
1998
Springer
15 years 5 months ago
1998
Springer
Casting is a manufacturing process in which liquid is poured into a cast (mould) that has a cavity with the shape of the object to be manufactured. The liquid then hardens, after ...
128
click to vote
RECOMB
1998
Springer
15 years 5 months ago
1998
Springer
Given a strong match between regions of two sequences, how far can the match be meaningfully extended if gaps are allowed in the resulting alignment? The aim is to avoid searching...
RTSS
1997
IEEE
15 years 5 months ago
1997
IEEE
Static-priority scheduling is popular for traffic scheduling in ATM switches because it is less costly than dynamic priority scheduling while being sensitive to the delay constra...
VTS
1997
IEEE
15 years 5 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...