8337 search results - page 179 / 1668 » Reasoning With Characteristic Models |
133
click to vote
TVLSI
2002
15 years 4 months ago
2002
We propose two practical approaches for on-chip inductance extraction to obtain a highly sparsified and accurate inverse inductance matrix K. Both approaches differ from previous ...
147
click to vote
CIKM
2010
Springer
15 years 3 months ago
2010
Springer
As the social interaction of Internet users increases, so does the need to effectively rank social media. We study the challenges of personalized ranking of blog posts. Web search...
159
click to vote
GPC
2010
Springer
15 years 11 months ago
2010
Springer
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...
118
Voted
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Harmonic + Noise model (HNM) is a hybrid model of speech with a harmonic component and a noise component. While harmonic part describes efficiently the periodicities in speech si...
136
click to vote
CADE
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...