2488 search results - page 415 / 498 » An improvement in formal verification |
104
click to vote
IJDAR
2006
15 years 1 months ago
2006
Tables are a ubiquitous form of communication. While everyone seems to know what a table is, a precise, analytical definition of "tabularity" remains elusive because some...
112
click to vote
AI
2004
Springer
15 years 1 months ago
2004
Springer
Feature selection, as a preprocessing step to machine learning, has been very effective in reducing dimensionality, removing irrelevant data, increasing learning accuracy, and imp...
129
click to vote
INFOCOM
2010
IEEE
14 years 12 months ago
2010
IEEE
—Wireless mesh networks have been widely deployed to provide broadband network access, and their performance can be significantly improved by using a new technology called netwo...
119
click to vote
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
We propose a distributed mechanism for finding websurfing strategies that is inspired by the StumbleUpon recommendation engine. Each day, a websurfer visits a sequence of websites ...
101
click to vote
ACL
2009
14 years 11 months ago
2009
This paper revisits the pivot language approach for machine translation. First, we investigate three different methods for pivot translation. Then we employ a hybrid method combin...