1002 search results - page 189 / 201 » Implementing Standard Reference Models for e-learning System... |
133
click to vote
QI
2009
Springer
15 years 9 months ago
2009
Springer
In this third Quantum Interaction (QI) meeting it is time to examine our failures. One of the weakest elements of QI as a field, arises in its continuing lack of models displaying...
133
Voted
ICDCS
1995
IEEE
15 years 6 months ago
1995
IEEE
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...
156
click to vote
FORTE
1994
15 years 3 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
150
Voted
3DIM
2007
IEEE
15 years 8 months ago
2007
IEEE
The ICP (Iterative Closest Point) algorithm is the de facto standard for geometric alignment of threedimensional models when an initial relative pose estimate is available. The ba...
105
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
This paper presents a high-level component-based methodology and design environment for application-specific multicore SoC architectures. Component-based design provides primitive...