6607 search results - page 182 / 1322 » Making TeX Work |
99
Voted
PEPM
1998
ACM
15 years 7 months ago
1998
ACM
Abstract. Source-program modifications can make a partial evaluator yield dramatically better results. For example, eta-redexes can preserve static data flow by acting as an interf...
145
Voted
ICTL
1994
15 years 7 months ago
1994
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...
161
Voted
IDS
1994
15 years 7 months ago
1994
An experimental 3D interface to an object oriented database is described. It is hoped that using such techniques will help make complex data structures more comprehensible and eas...
109
click to vote
CRV
2009
IEEE
15 years 7 months ago
2009
IEEE
An egomotion estimator that makes use of the complementary strengths of inertial and visual readings is introduced in the context of efficient and robust realtime motion estimatio...
115
Voted
ESSOS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...