2488 search results - page 361 / 498 » An improvement in formal verification |
113
click to vote
ACL
2006
15 years 3 months ago
2006
Semantic parsing is the task of mapping natural language sentences to complete formal meaning representations. The performance of semantic parsing can be potentially improved by u...
93
Voted
ACJ
2002
15 years 1 months ago
2002
Business Process Reengineering (BPR) is an important instrument to boost the performance of business processes. In this paper, the Product-Based Design method is presented that su...
118
click to vote
TCS
2010
14 years 8 months ago
2010
The theorem of factorization forests of Imre Simon shows the existence of nested factorizations -- `a la Ramsey -- for finite words. This theorem has important applications in sem...
112
click to vote
INFOCOM
2012
IEEE
13 years 4 months ago
2012
IEEE
—By exploiting reception diversity of wireless network links, researchers have shown that opportunistic routing can improve network performance significantly over traditional ro...
127
click to vote
TLDI
2009
ACM
15 years 10 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...