4966 search results - page 66 / 994 » its 2010 |
169
click to vote
JCIT
2010
15 years 28 days ago
2010
Different kinds of agents in a multi-agent system have different knowledge structure, which results in difficulties of interaction and coordination among agents. At present, ontol...
157
click to vote
SETA
2010
Springer
15 years 4 months ago
2010
Springer
A sequence a = (a0, a1, a2, · · · , an) is said to be an almost p-ary sequence of period n + 1 if a0 = 0 and ai = ζbi p for 1 ≤ i ≤ n, where ζp is a primitive p-th root of...
131
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Millions of owl:sameAs statements have been published on the Web of Data. Due to its unique role and heavy usage in Linked Data integration, owl:sameAs has become a topic of increa...
172
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
144
click to vote
INTERSPEECH
2010
15 years 28 days ago
2010
It was recently shown that complex cepstrum can be effectively used for glottal flow estimation by separating the causal and anticausal components of speech. In order to guarantee...