7404 search results - page 489 / 1481 » New Tools in Education |
184
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Higher-order tensor decompositions are analogous to the familiar Singular Value Decomposition (SVD), but they transcend the limitations of matrices (second-order tensors). SVD is ...
190
click to vote
JUCS
2006
15 years 7 months ago
2006
: Models have played an important role in scientific research for a long time. The crop models try to simulate the functioning of the atmosphere-soil-plant system with the help of ...
221
click to vote
SIGOPS
2008
15 years 7 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
183
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
We study the simultaneous message passing model of communication complexity. Building on the quantum fingerprinting protocol of Buhrman et al., Yao recently showed that a large cl...
185
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always ...