2292 search results - page 106 / 459 » Structure preserving embedding |
ICALT
2006
IEEE
15 years 4 months ago
2006
IEEE
To transplant the six characteristics of traditional collaborative learning into the network collaborative learning environment, this paper proposes the design of an Internet coll...
CODES
1997
IEEE
15 years 2 months ago
1997
IEEE
– Retargetability of embedded system descriptions not only enables better exploration of the design space and evaluation of cost/performance tradeoffs but also enhances design ma...
PPL
2002
14 years 9 months ago
2002
The tree interconnection network lends itself to several suitably structured applications. However, the low connectivity at each node, traffic congestion and single point of failu...
105
click to vote
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
APAL
2008
14 years 10 months ago
2008
This paper proves strong normalization of classical natural deduction with disjunction and permutative conversions, by using CPS-translation and augmentations. By them, this paper...