1548 search results - page 75 / 310 » Computational Approaches to Sentence Completion |
153
click to vote
SODA
2003
ACM
15 years 7 months ago
2003
ACM
This work examines algebraic techniques for comparing quadratic algebraic numbers, thus yielding methods for deciding key predicates in various geometric constructions. Our motiva...
160
Voted
CGF
2006
15 years 6 months ago
2006
Discrete curvature and shape operators, which capture complete information about directional curvatures at a point, are essential in a variety of applications: simulation of defor...
176
Voted
GLVLSI
2009
IEEE
16 years 27 days ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
170
Voted
CRYPTO
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. We consider the broadcast exclusion problem: how to transmit a message over a broadcast channel shared by N = 2n users so that all but some specified coalition of k excl...
171
click to vote
JNW
2008
15 years 6 months ago
2008
Using two-hop neighborhood information, we present the hybrid activation multiple access (HAMA) protocol for time-division channel access scheduling in ad hoc networks with omni-di...