4117 search results - page 218 / 824 » On the Satisfiability of Complex Constraints |
159
click to vote
SMA
1997
ACM
15 years 10 months ago
1997
ACM
: Modeling of families of geometric objects is a major topic in modern geometric and solid modeling. Object families are central to many important solid modeling applications, incl...
156
click to vote
WSC
2007
15 years 9 months ago
2007
The NNSA’s Y-12 National Security Complex is a manufacturing facility operated by BWXT Y-12. Y-12’s missions include ensuring the US’ nuclear weapons deterrent, storing nucl...
156
click to vote
JETAI
2007
15 years 6 months ago
2007
The Internet has led to the development of on-line markets, and computer scientists have designed various auction algorithms, as well as automated exchanges for standardized commo...
198
click to vote
TSP
2008
15 years 6 months ago
2008
The assessment of multivariate association between two complex random vectors is considered. A number of correlation coefficients based on three popular correlation analysis techni...
159
click to vote
ADG
2006
Springer
16 years 18 days ago
2006
Springer
It is known that five points in 3 generically determine a finite number of cylinders containing those points. We discuss ways in which it can be shown that the generic (complex) nu...