1135 search results - page 165 / 227 » Interactive Problem Solving via Algorithm Visualization |
148
click to vote
TPHOL
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
144
Voted
ICC
2008
IEEE
15 years 9 months ago
2008
IEEE
— We present the unfairness problem between the uplink and the downlink flows in the IEEE 802.11e infrastructure Basic Service Set (BSS) when the default settings of the Enhance...
124
Voted
INFOCOM
2010
IEEE
15 years 29 days ago
2010
IEEE
Abstract—Wireless mesh networks are popular as a costeffective means to provide broadband connectivity to large user populations. A mesh network placement provides coverage, such...
114
click to vote
ICDAR
2003
IEEE
15 years 7 months ago
2003
IEEE
How do you tell a computer from a human? The situation arises often on the Internet, when online polls are conducted, accounts are requested, undesired email is received, and chat...
131
Voted
ICCV
2007
IEEE
16 years 4 months ago
2007
IEEE
We propose a novel and robust model to represent and learn generic 3D object categories. We aim to solve the problem of true 3D object categorization for handling arbitrary rotati...