5066 search results - page 643 / 1014 » Spectra of structures and relations |
202
Voted
ICST
2009
IEEE
15 years 3 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
154
click to vote
ACL
2010
15 years 3 months ago
2010
Lexicalized reordering models play a crucial role in phrase-based translation systems. They are usually learned from the word-aligned bilingual corpus by examining the reordering ...
168
click to vote
ENTCS
2010
15 years 3 months ago
2010
s as an Abstract Domain Jacob M. Howe1,4 Dept of Computing, City University London, UK Andy King1,3,5 School of Computing, University of Kent, Canterbury, UK Charles Lawrence-Jones...
163
click to vote
ICIP
2010
IEEE
15 years 3 months ago
2010
IEEE
We extend our previous work on Multilinear Independent Component Analysis (MICA) by introducing a Fast-MICA algorithm that demonstrates the same improvement over classical ICA as ...
125
click to vote
IJUFKS
2010
15 years 3 months ago
2010
Interval uncertainty affects our decision making activities on a daily basis making the data structure of intervals of real numbers more and more popular in theoretical models and...