5550 search results - page 885 / 1110 » Different Approaches to Proof Systems |
191
click to vote
FIW
2009
15 years 4 months ago
2009
Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay...
190
click to vote
HCI
2009
15 years 4 months ago
2009
When we encounter an English word that we do not understand, we can look it up in a dictionary. However, when an American Sign Language (ASL) user encounters an unknown sign, looki...
166
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
1 Classical systems using hierarchical modulation (such as DVB-SH) involve a "high-priority" (HP) and a "lowpriority" (LP) bit stream that are separately and in...
203
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
Effective texture feature is an essential component in any content based image retrieval system. In the past, spectral features, like Gabor and wavelet, have shown superior retrie...
176
click to vote
COLING
2010
15 years 1 months ago
2010
We employ Maximum Entropy model to conduct sub-tree alignment between bilingual phrasal structure trees. Various lexical and structural knowledge is explored to measure the syntac...