158 search results - page 17 / 32 » A Principled Foundation for LCS |
184
Voted
POPL
2008
ACM
16 years 24 days ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
124
click to vote
ER
2009
Springer
14 years 10 months ago
2009
Springer
: Conceptual modelling is a widely applied practice and has led to a large body of knowledge on constructs that might be used for modelling and on methods that might be useful for ...
88
Voted
ICML
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider feature extraction (dimensionality reduction) for compositional data, where the data vectors are constrained to be positive and constant-sum. In real-world problems, t...
88
Voted
HICSS
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper presents the case of Arinia, a custommade piece of social software with strong similarities to today’s microblogging applications. Arinia has been in use in a medium-...
91
Voted
AIED
2009
Springer
15 years 7 months ago
2009
Springer
Although a solid understanding of fractions is foundational in mathematics, the concept of fractions remains a challenging one. Previous research suggests that multiple graphical r...