2887 search results - page 328 / 578 » Name Generation and Linearity |
152
click to vote
TPHOL
2005
IEEE
16 years 3 days ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
175
click to vote
IFIP
2005
Springer
16 years 1 days ago
2005
Springer
Two different approaches are proposed to enhance the efficiency of the numerical resolution of optimal control problems governed by a linear advection– diffusion equation. In ...
177
click to vote
ISRR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We present an interpolation-based planning and replanning algorithm for generating smooth paths through non-uniform cost grids. Most grid-based path planners use discrete...
220
click to vote
PCM
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The multi-view video is a collection of multiple videos capturing the same scene at different viewpoints. Since the data size of the multi-view video linearly increases ...
170
click to vote
SAT
2005
Springer
16 years 22 hour ago
2005
Springer
The utilization of cutting planes is a key technique in Integer Linear Programming (ILP). However, cutting planes have seldom been applied in Pseudo-Boolean Optimization (PBO) algo...