2725 search results - page 395 / 545 » Constraint Solving for Interpolation |
144
click to vote
RC
2002
15 years 4 months ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
142
click to vote
TVLSI
1998
15 years 4 months ago
1998
Abstract—We introduce a technique for on-line built-in selftesting (BIST) of bus-based field programmable gate arrays (FPGA’s). This system detects deviations from the intende...
137
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The Sybil attack in unknown port networks such as wireless is not considered tractable. A wireless node is not capable of independently differentiating the universe of real nodes f...
125
click to vote
EOR
2008
15 years 4 months ago
2008
The car sequencing problem consists in sequencing a given set of cars to be produced in a single day. We address one of the variants of this problem, in which the objective of mini...
141
click to vote
RAS
2007
15 years 3 months ago
2007
The purpose of this study is to investigate a variational formulation of the problem of three-dimensional (3D) interpretation of temporal image sequences based on the 3D brightnes...