Sciweavers

192 search results - page 16 / 39
» Mutual Search
Sort
View
113
Voted
PPDP
2010
Springer
15 years 6 days ago
Dimensions in program synthesis
Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios: enabling people with no programming background to develo...
Sumit Gulwani
LREC
2010
187views Education» more  LREC 2010»
15 years 3 months ago
How FrameSQL Shows the Japanese FrameNet Data
FrameSQL is a web-based application which the author (Sato, 2003; Sato 2008) created originally for searching the Berkeley FrameNet lexical database. FrameSQL now can handle the J...
Hiroaki Sato
121
Voted
ICASSP
2008
IEEE
15 years 8 months ago
Kerdock codes for limited feedback MIMO systems
A codebook based limited feedback strategy is a practical way to obtain partial channel state information at the transmitter in a precoded multiple-input multiple-output (MIMO) wi...
Takao Inoue, Robert W. Heath Jr.
111
Voted
BIRTHDAY
2006
Springer
15 years 5 months ago
Best-First Rippling
Rippling is a form of rewriting that guides search by only performing steps that reduce the syntactic differences between formulae. Termination is normally ensured by a measure th...
Moa Johansson, Alan Bundy, Lucas Dixon
140
Voted
INFOCOM
2010
IEEE
15 years 8 days ago
Practical Scheduling Algorithms for Concurrent Transmissions in Rate-adaptive Wireless Networks
—Optimal scheduling for concurrent transmissions in rate-nonadaptive wireless networks is NP-hard. Optimal scheduling in rate-adaptive wireless networks is even more difficult, ...
Zhe Yang, Lin Cai, Wu-sheng Lu