5055 search results - page 465 / 1011 » Relative Timing |
210
click to vote
SAS
2001
Springer
16 years 4 days 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...
194
click to vote
WABI
2001
Springer
16 years 4 days ago
2001
Springer
Abstract. Comparing gene orders in completely sequenced genomes is a standard approach to locate clusters of functionally associated genes. Often, gene orders are modeled as permut...
222
click to vote
DEXAW
2000
IEEE
16 years 4 days ago
2000
IEEE
In this paper we address the problem of analyzing and managing complex dynamic scenes captured in video. We present an approach to summarize video datasets by analyzing the trajec...
194
click to vote
FOCS
2000
IEEE
16 years 4 days ago
2000
IEEE
One of the crucial elements in the Internet’s success is its ability to adequately control congestion. This paper defines and solves several optimization problems related to In...
168
click to vote
HICSS
2000
IEEE
16 years 4 days ago
2000
IEEE
The aim of this paper is to provide tool developers with effective strategies to minimize the risks, costs, effort and time involved in handling model interchange issues. Specific...