9626 search results - page 347 / 1926 » Invariant Based Programming |
180
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
We propose a new algorithm for dimensionality reduction and unsupervised text classification. We use mixture models as underlying process of generating corpus and utilize a novel,...
194
click to vote
IPSN
2004
Springer
16 years 1 days ago
2004
Springer
We consider the rate-distortion problem for sensing the continuous space-time physical temperature in a circular ring on which a heat source is applied over space and time, and wh...
213
click to vote
ICALT
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a Case-Based Reasoning approach for the personalized access and the students’ coauthoring tasks in on-line repositories of Learning Objects (LOs). The person...
178
click to vote
LPNMR
2007
Springer
16 years 24 days ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
183
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...