3591 search results - page 443 / 719 » Typing linear constraints |
179
click to vote
CAD
2005
Springer
15 years 6 months ago
2005
Springer
For generalized cylinders (GC) defined by contours of discrete curves, we propose two algorithms to generate GC surfaces (1) in polygonal meshes and (2) in cylindrical type of dev...
157
click to vote
JUCS
2007
15 years 6 months ago
2007
Abstract: We present a new type of sat problem called the k-gd-sat, which generalizes k-sat and gd-sat. In k-gd-sat, clause lengths have geometric distribution, controlled by a pro...
180
click to vote
ACTAC
2002
15 years 6 months ago
2002
Different program slicing methods are used for debugging, testing, reverse engineering and maintenance. Slicing algorithms can be classified as a static slicing or dynamic slicing...
142
click to vote
AUTOMATICA
2000
15 years 6 months ago
2000
In this paper, a learning control system is considered for motion systems that are subject to two types of disturbances; reproducible disturbances, that re-occur each run in the s...
150
click to vote
CN
2000
15 years 6 months ago
2000
This paper describes the formulation of a new model for unintrusive targeted advertising on the web, extending the linear programming approach taken by Langheinrich et al.[10] A f...