3690 search results - page 574 / 738 » Computation with classical sequents |
124
Voted
PLDI
1999
ACM
15 years 2 months ago
1999
ACM
This paper explores compiler techniques for reducing the memory needed to load and run program executables. In embedded systems, where economic incentives to reduce both ram and r...
84
Voted
ICMCS
1999
IEEE
15 years 2 months ago
1999
IEEE
Image retrieval has commonly been attempted using non-semantic approaches. It is clear though, that semantic retrieval is more desirable because it facilitates the user's tas...
72
Voted
ICSM
1999
IEEE
15 years 2 months ago
1999
IEEE
In order to maintain the consistency between sources and documentation, while at the same time providing documentation at the design level, it is necessary to generate documentati...
73
Voted
AGENTS
1997
Springer
15 years 2 months ago
1997
Springer
During the last few years, and in an attempt to provide an ecient alternative to classical methods to designing robot control structures, the behavior-based approach has emerged....
88
Voted
COLT
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. We propose a convex optimization approach to solving the nonparametric regression estimation problem when the underlying regression function is Lipschitz continuous. This...