2232 search results - page 237 / 447 » Has Computational Linguistics Become More Applied |
DAC
2007
ACM
14 years 10 months ago
2007
ACM
The ability of modern SAT solvers to produce proofs of unsatisfiability for Boolean formulas has become a powerful tool for EDA applications. Proofs are generated from a resolve t...
DAC
2003
ACM
14 years 10 months ago
2003
ACM
The capability of performing architectural exploration has become essential for embedded microprocessor design in System-On-Chip. While many retargetable instruction set (ISA) sim...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
Making sense of the information found during an investigational Web search task can be daunting. With the recent emergence of tools to support collaborative Web search, the associ...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
The Web has become available even on mobile phones, but the current methods to view large pages on small screens have not been highly usable. Current mobile phone browsers reforma...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
Social psychology has demonstrated that lying is an important, and frequent, part of everyday social interactions. As communication technologies become more ubiquitous in our dail...