Sciweavers

3993 search results - page 390 / 799
» Matchmaking for Structured Objects
Sort
View
FTDCS
1997
IEEE
15 years 9 months ago
Toward globally optimal resource management in large-scale real-time distributed computer systems
: This paper discusses the issues and promising approaches in (1) obtaining rigorous specifications of the quality-of-service (QoS) requirements associated with application functio...
K. H. Kim
PEPM
1998
ACM
15 years 9 months ago
Inherited Limits
We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...
Torben Æ. Mogensen
DIAGRAMS
2010
Springer
15 years 8 months ago
Toward a Physics of Equations
Papers on diagrammatic reasoning often begin by dividing marks on paper into two basic classes: diagrams and sentences. While endorsing the perspective that a reasoning episode can...
David Landy
DAGM
2009
Springer
15 years 8 months ago
Training for Task Specific Keypoint Detection
In this paper, we show that a better performance can be achieved by training a keypoint detector to only find those points that are suitable to the needs of the given task. We demo...
Christoph Strecha, Albrecht Lindner, Karim Ali, Pa...
GTTSE
2007
Springer
15 years 8 months ago
Modelling the Operational Semantics of Domain-Specific Modelling Languages
Domain-specific modelling languages provide modelling means tailored to a particular domain. In Model-driven Engineering, it is common practice to specify such languages by modelli...
Guido Wachsmuth