8828 search results - page 1539 / 1766 » Formal methods in practice |
165
click to vote
CE
2008
15 years 4 months ago
2008
Educational data mining is an emerging discipline, concerned with developing methods for exploring the unique types of data that come from the educational context. This work is a ...
116
click to vote
CGF
2008
15 years 4 months ago
2008
Interactive rendering with dynamic natural lighting and changing view is a long-standing goal in computer graphics. Recently, precomputation-based methods for all-frequency religh...
168
click to vote
CGF
2008
15 years 4 months ago
2008
Most graph visualization techniques focus on the structure of graphs and do not offer support for dealing with node attributes and edge labels. To enable users to detect relations...
135
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Defect prevention is the most vital but habitually neglected facet of software quality assurance in any project. If functional at all stages of software development, it can condens...
122
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We consider minimal-rate sampling schemes for streams of delayed and weighted versions of a known pulse shape. Such signals belong to the class of finite rate of innovation (FRI) m...