1939 search results - page 104 / 388 » Dynamic Lex Constraints |
101
Voted
ACCV
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This paper proposes a method for phase registration of a single non-parametric quasi-periodic signal. After a short-term period has been detected for each sample by norma...
131
click to vote
TCS
2011
14 years 10 months ago
2011
We formulate and study a new computational model for dynamic data. In this model, the data changes gradually and the goal of an algorithm is to compute the solution to some proble...
140
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
— We study the problem of generating continuous steering control for robots to completely cover a bounded region over a finite time. First, we pack the area by disks of minimum ...
113
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
— In this paper we present new lower bounds on BDD size. These lower bounds are derived from more general lower bounds that recently were given in the context of exact BDD minimi...
130
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...