1287 search results - page 73 / 258 » Reduction of Timed Hybrid Systems |
195
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
146
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
The hurdles in solving Constrained Optimization Problems (COP) arise from the challenge of searching a huge variable space in order to locate feasible points with acceptable solut...
160
click to vote
WIOPT
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— The ever-increasing popularity of web services, growing demand for wireless multimedia and introduction of new, feature-enhanced, hand-held devices has already given bi...
160
click to vote
TWC
2008
15 years 5 months ago
2008
We develop a reduced-complexity hybrid frequency/time-domain orthogonal frequency division multiplexing (OFDM) channel estimation algorithm for high-mobility scenarios where the ch...
189
click to vote
EDBT
2010
ACM
15 years 9 months ago
2010
ACM
Recently, there has been growing interest in random sampling from online hidden databases. These databases reside behind form-like web interfaces which allow users to execute sear...