837 search results - page 137 / 168 » Proof Development with OMEGA |
ICWS
2003
IEEE
13 years 11 months ago
2003
IEEE
Semantic Web technology has a vision to define and link Web data in a way that it can be understood and used by machines for automation, integration and reuse of data across variou...
SODA
2004
ACM
13 years 11 months ago
2004
ACM
Graph H is a root of graph G if there exists a positive integer k such that x and y are adjacent in G if and only if their distance in H is at most k. Motwani and Sudan [1994] prov...
IMAGING
2003
13 years 11 months ago
2003
Current color-printing technologies may use three or more inks, e.g., CMY, CMYK, CMYKcm, CMYKGO, CMYKRGB. When the number of inks exceeds three, there is the usual color-managemen...
AAAI
1998
13 years 11 months ago
1998
When search techniques are used to solve a practical problem, the solution produced is often brittle in the sense that small execution difficulties can have an arbitrarily large e...
IMAGING
2000
13 years 11 months ago
2000
This paper describes a method for developing a transform between two device CMYK spaces in a way that preserves information about the black separation. An important application of...