1002 search results - page 129 / 201 » Implementing Standard Reference Models for e-learning System... |
IFM
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
VLDB
1998
ACM
14 years 2 months ago
1998
ACM
In this paper we describe the architecture and interface of KODA, a production strength database kernel. KODA is unique in the industry in its ability to support two different dat...
CVPR
2003
IEEE
15 years 5 days ago
2003
IEEE
We wish to determine the epipolar geometry of a stereo camera pair from image measurements alone. This paper describes a solution to this problem which does not require a parametr...
HUMAN
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Software Defined Radio (SDR) is a key enabling technology for mobile wireless Internet. SDR represents unique opportunity to provide Internet connectivity to handheld dev...
SMA
2003
ACM
14 years 3 months ago
2003
ACM
Parametric feature-based CAD data exchange is one of the most important open problems in solid modeling. The problem is significant and challenging both scientifically and comme...