5681 search results - page 52 / 1137 » A Domain Model for eParticipation |
103
click to vote
JEI
2008
15 years 22 days ago
2008
We perform a statistical analysis of curvelet coefficients, distinguishing between two classes of coefficients: those that contain a significant noise-free component, which we call...
104
click to vote
ACL
2001
15 years 2 months ago
2001
We propose a statistical method that finds the maximum-probability segmentation of a given text. This method does not require training data because it estimates probabilities from...
119
Voted
CADE
2002
Springer
16 years 1 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
DEXAW
2004
IEEE
15 years 4 months ago
2004
IEEE
A considerable amount of e-learning content is being delivered via virtual or managed learning environments. These platforms keep track of learners' activities including cont...
148
Voted
TVCG
2012
13 years 3 months ago
2012
—This paper presents a volumetric modeling framework to construct a novel spline scheme called restricted trivariate polycube splines (RTP-splines). The RTP-spline aims to genera...