7280 search results - page 73 / 1456 » Optimization Techniques |
116
click to vote
SAS
2001
Springer
15 years 5 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
109
Voted
IJCNN
2000
IEEE
15 years 5 months ago
2000
IEEE
In our recent work, a general method called the stable state analysis technique was developed to determine constraints that the weights in the Hopfield energy function must satisf...
101
Voted
VRST
1997
ACM
15 years 5 months ago
1997
ACM
Developing virtual reality (VR) applications which enable actual work over a period of time requires optimization of the most basic interactions, such as object manipulation, so t...
131
click to vote
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
A strong level of trust in the software running on an embedded processor is a prerequisite for its widespread deployment in any high-risk system. The expanding field of software p...
104
click to vote
PR
2007
15 years 7 days ago
2007
We consider the problem of partial shape matching. We propose to transform shapes into sequences and utilize an algorithm that determines a subsequence of a target sequence that b...