2268 search results - page 22 / 454 » The Essence of Form Abstraction |
ER
2000
Springer
13 years 11 months ago
2000
Springer
Taxonomies are an important part of conceptual modeling. They provide substantial structural information, and are typically the key elements in integration eorts, however there ha...
COLT
2010
Springer
13 years 6 months ago
2010
Springer
We present a new family of subgradient methods that dynamically incorporate knowledge of the geometry of the data observed in earlier iterations to perform more informative gradie...
DSVIS
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. A review of XML-compliant user interface description languages is produced that compares a significant selection of various languages addressing different goals, such a...
FMSB
2008
13 years 9 months ago
2008
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
LISP
2007
13 years 7 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...