7 search results - page 1 / 2 » Introduction and Motivation |
SEKE
1999
Springer
14 years 23 days ago
1999
Springer
MICRO
1995
IEEE
14 years 1 days ago
1995
IEEE
CALCO
2007
Springer
14 years 2 months ago
2007
Springer
Adhesive categories are a class of categories in which pushouts along monos are well-behaved with respect to pullbacks. Recently it has been shown that any topos is adhesive. Many ...
OWLED
2008
13 years 10 months ago
2008
The current OWL specification does not include a syntax for specifying calculated values for data type properties. Their introduction, although acknowledged among the desiderata, s...
LION
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The practical utility of optimization technologies is often impacted by factors that reflect how these tools are used in practice, including whether various real-world c...