4966 search results - page 55 / 994 » its 2010 |
153
click to vote
ITSE
2010
15 years 28 days ago
2010
Since its formation in 2007, Opencast has become a truly global community around academic video and its related areas. One of Opencast's major projects to emerge from the com...
159
click to vote
JAPLL
2010
15 years 28 days ago
2010
We present a decision procedure for hybrid logic equipped with nominals, the satisfaction operator and existential, difference, converse, reflexive, symmetric and transitive modal...
207
click to vote
JDCTA
2010
15 years 27 days ago
2010
Because the characteristic of wavelet transform is multi-resolution, their unique advantage of the data model is multi-scale analysis. Then, it's widely used the Wavelet-base...
124
click to vote
SIAMDM
2010
15 years 26 days ago
2010
We first present an equivalent definition of relative generalized Hamming weights of a linear code and its subcodes, and we develop a method using finite projective geometry. Makin...
164
click to vote
AMW
2009
15 years 7 months ago
2009
Abstract. The chase procedure, an algorithm proposed 25+ years ago to fix constraint violations in database instances, has been successfully applied in a variety of contexts, such ...