3951 search results - page 648 / 791 » Automatic amortized analysis |
149
click to vote
INAP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
114
click to vote
CA
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper discusses the problem of motion processing and proposes the use of a mathematical model, which describes a motion signal as a path with variable harmonic components. We...
132
Voted
IJCNN
2000
IEEE
15 years 8 months ago
2000
IEEE
—Biasing properly the hypothesis space of a learner has been shown to improve generalization performance. Methods for achieving this goal have been proposed, that range from desi...
152
Voted
AGP
1999
IEEE
15 years 8 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
128
Voted
SIGGRAPH
1999
ACM
15 years 8 months ago
1999
ACM
We describe a new approach for creating concise high-level generative models from range images or other approximate representations of real objects. Using data from a variety of a...