58 search results - page 10 / 12 » Satisfiability and Computing van der Waerden Numbers |
WAE
1998
13 years 7 months ago
1998
In recent years realistic input models for geometric algorithms have been studied. The most important models introduced are fatness, low density, unclutteredness, and small simple...
CORR
2002
Springer
13 years 5 months ago
2002
Springer
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previous...
HYBRID
2010
Springer
14 years 17 days ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
ICSOFT
2008
13 years 7 months ago
2008
Service-oriented computing allows new applications to be developed by using and/or combining services offered by different organizations. Service composition can be applied when a ...
ACS
2004
13 years 5 months ago
2004
Inthis article westudy the fundamental category (Goubault and Raussen, 2002 Goubault, 2002) of a partially ordered topological space (Nachbin, 1965 Johnstone, 1982), as arising in ...