1002 search results - page 125 / 201 » Implementing Standard Reference Models for e-learning System... |
VRML
2004
ACM
14 years 3 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...
IPPS
2003
IEEE
14 years 3 months ago
2003
IEEE
Widespread adaptation of shared memory programming for High Performance Computing has been inhibited by a lack of standardization and the resulting portability problems between pl...
CAV
2009
Springer
14 years 10 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
ECCV
2008
Springer
14 years 13 hour ago
2008
Springer
Abstract. The ability to localise a camera moving in a previously unknown environment is desirable for a wide range of applications. In computer vision this problem is studied as m...
ECOOP
2005
Springer
14 years 3 months ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...