4651 search results - page 384 / 931 » Data Reduction Using Multiple Models Integration |
123
click to vote
LREC
2010
15 years 5 months ago
2010
The recent availability of large collections of text such as the Google 1T 5-gram corpus (Brants and Franz, 2006) and the Gigaword corpus of newswire (Graff, 2003) have made it po...
141
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
— Due to continuous technology scaling, the reduction of nodal capacitances and the lowering of power supply voltages result in an ever decreasing minimal charge capable of upset...
144
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an interactive workspace that integrates wiki collaboration in knowledge-building activities with face-to-face scenarios like brainstorming or problem solving sessions....
258
click to vote
FMCAD
1998
Springer
15 years 8 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
135
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Phylogenetic analysis can be used to divide a protein family into subfamilies in the absence of experimental information. Most phylogenetic analysis methods utilize mu...