1021 search results - page 120 / 205 » Concepts in Proof Planning |
SIAMJO
2002
13 years 8 months ago
2002
We study a class of generalized bundle methods for which the stabilizing term can be any closed convex function satisfying certain properties. This setting covers several algorithm...
GSEM
2004
Springer
14 years 2 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
WG
2005
Springer
14 years 2 months ago
2005
Springer
We review the concepts of hypertree decomposition and hypertree width from a graph theoretical perspective and report on a number of recent results related to these concepts. We al...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
This paper shares our experience with a strategic design project for defining the key user experience scenarios for utilizing location information available on mobile devices. Whi...
ADBIS
2009
Springer
14 years 3 months ago
2009
Springer
The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiting times f...