2725 search results - page 395 / 545 » Constraint Solving for Interpolation |
107
Voted
RC
2002
15 years 14 days 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...
115
Voted
TVLSI
1998
15 years 14 days 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...
105
Voted
CORR
2008
Springer
15 years 12 days 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...
88
Voted
EOR
2008
15 years 11 days 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...
103
Voted
RAS
2007
15 years 10 days 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...