2089 search results - page 193 / 418 » Finding Environment Guarantees |
154
Voted
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
Spatial Database Management Systems (SDBMS), e.g., Geographical Information Systems, that manage spatial objects such as points, lines, and hyper-rectangles, often have very high ...
148
click to vote
SODA
2010
ACM
16 years 2 months ago
2010
ACM
The class of constraint satisfactions problems (CSPs) captures many fundamental combinatorial optimization problems such as Max Cut, Max q-Cut, Unique Games, and Max k-Sat. Recent...
157
Voted
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
158
Voted
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
—We present a multi-constrained routing algorithm, called Delay-constrained Pool Sharing (DPS), in a survivable mesh network. The goal of this algorithm is to find a pair of link...
117
click to vote
VTC
2007
IEEE
15 years 11 months ago
2007
IEEE
–Call admission control (CAC) is essential to guarantee the signal quality in CDMA systems. Signal-tointerference-and-noise ratio (SINR) is used as a criterion for user admission...