6978 search results - page 1320 / 1396 » On Proofs in System P |
AAAI
2007
13 years 11 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...
NSDI
2008
13 years 11 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...
CONEXT
2008
ACM
13 years 10 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...
RIAO
2007
13 years 10 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...
CMG
2001
13 years 10 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...