6978 search results - page 1320 / 1396 » On Proofs in System P |
200
click to vote
AAAI
2007
15 years 8 months ago
2007
The exponential growth and reliability of Wikipedia have made it a promising data source for intelligent systems. The first challenge of Wikipedia is to make the encyclopedia mac...
182
click to vote
NSDI
2008
15 years 8 months ago
2008
Online communication media such as email, instant messaging, bulletin boards, voice-over-IP, and social networking sites allow any sender to reach potentially millions of users at...
150
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Currently deployed IEEE 802.11 WLANs (Wi-Fi networks) share access point (AP) bandwidth on a per-packet basis. However, the various stations communicating with the AP often have d...
195
click to vote
RIAO
2007
15 years 7 months ago
2007
In this paper, we have considered a real world information synthesis task, generation of a fixed length multi document summary which satisfies a specific information need. This...
161
click to vote
CMG
2001
15 years 7 months ago
2001
What is the career path for a performance analyst? A capacity planner? Most technicians paid their dues in the trenches of systems programming or operations. Having done it all, t...