2725 search results - page 47 / 545 » Constraint Solving for Interpolation |
93
Voted
IJCAI
2007
15 years 2 months ago
2007
Finding a constraint network that will be efficiently solved by a constraint solver requires a strong expertise in Constraint Programming. Hence, there is an increasing interest i...
94
Voted
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
CGA
1998
15 years 14 days ago
1998
This paper describes methods and data structures used to leverage motion sequences of complex linked figures. We present a technique for interpolating between example motions der...
97
Voted
SIAMNUM
2010
14 years 7 months ago
2010
A set XN of N points on the unit sphere is a spherical t-design if the average value of any polynomial of degree at most t over XN is equal to the average value of the polynomial o...
128
Voted
SSDBM
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. The presence of coverage holes can adversely affect the accurate representation of natural phenomena being monitored by a Wireless Sensor Network (WSN). Current WSN resea...