1287 search results - page 33 / 258 » Reduction of Timed Hybrid Systems |
CADE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
103
click to vote
HEURISTICS
2002
14 years 11 months ago
2002
This paper presents operators searching large neighborhoods in order to solve the vehicle routing problem. They make use of the pruning and propagation techniques of constraint pr...
CLUSTER
2002
IEEE
15 years 4 months ago
2002
IEEE
The join is the most important, but also the most time consuming operation in relational database systems. We implemented the parallel Hybrid Hash Join algorithm on a PC-cluster a...
TWC
2010
14 years 6 months ago
2010
In this paper, a reduced-complexity partial transmit sequences (PTS) scheme is proposed to resolve the intrinsic high peak-to-average power ratio (PAPR) problem of orthogonal frequ...
ISLPED
2010
ACM
15 years 2 days ago
2010
ACM
Energy consumption and the associated environmental impact are a pressing challenge faced by the transportation sector. Emerging electric-drive vehicles have shown promises for su...