10055 search results - page 443 / 2011 » Structured programming using processes |
171
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
151
click to vote
SIGCSE
2005
ACM
16 years 11 days ago
2005
ACM
Research on learning suggests the importance of helping students organize their knowledge around meaningful patterns of information. This paper reports on a multi-institutional st...
165
click to vote
JUCS
2007
15 years 6 months ago
2007
: Student satisfaction with distance learning is impacted by a variety of factors, including interaction with the instructor and the structure of the course. Satisfaction with dist...
194
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Matrix factorization has many applications in computer vision. Singular Value Decomposition (SVD) is the standard algorithm for factorization. When there are outliers and missing ...
168
click to vote
GECCO
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Bloat is a common and well studied problem in genetic programming. Size and depth limits are often used to combat bloat, but to date there has been little detailed explor...