1999 search results - page 183 / 400 » Dependently Typed Grammars |
152
click to vote
CE
2008
15 years 6 months ago
2008
Researchers investigated differences in learner preferences for different types of instructional strategies and learning styles in online environments. Results suggested that matc...
196
click to vote
CGF
2006
15 years 6 months ago
2006
Performances of actual mesh compression algorithms vary significantly depending on the type of model it encodes. These methods rely on prior assumptions on the mesh to be efficient...
144
click to vote
IEPOL
2006
15 years 6 months ago
2006
This paper develops a simple model of software piracy to analyze the short-run effects of piracy on software usage and the long-run effects on development incentives. We consider ...
161
click to vote
IJBRA
2006
15 years 6 months ago
2006
: Probabilistic models for biological sequences (DNA and proteins) are frequently used in bioinformatics. We describe statistical tests designed to detect the order of dependency a...
168
click to vote
TCOM
2008
15 years 6 months ago
2008
We study a distributed version of switch-and-stay combining (DSSC) for systems that utilize two relays. In particular, four different scenarios are considered, depending on a) whet...