2562 search results - page 157 / 513 » Components of the Fundamental Category |
162
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synth...
168
click to vote
VLDB
1997
ACM
15 years 10 months ago
1997
ACM
The yellow pagesservice of GTE SuperPages enables Web users to flexibly search through liitings of 11 million businessesin over 17000 categories. To achievethe flexibility desired...
135
click to vote
ACMSE
2008
ACM
15 years 8 months ago
2008
ACM
In this paper we present a framework for rapid prototyping of airplane designs as an example of the benefits of integrating simulation, gaming, and design interfaces into a cohesi...
175
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
This paper studies web object classification problem with the novel exploration of social tags. Automatically classifying web objects into manageable semantic categories has long ...
217
click to vote
LCN
2008
IEEE
16 years 29 days ago
2008
IEEE
—Carrier Sense Multiple Access (CSMA) protocols in Multi-hop Wireless Networks (MHWN) are known to suffer from different forms of the hidden and exposed terminal problems, leadin...