1974 search results - page 198 / 395 » A Library System for Small-Scale Library |
114
click to vote
WWW
2001
ACM
16 years 2 months ago
2001
ACM
Active learning is an e ective learning approach. In this paper, we present an intelligent agent assisted environment for active learning. The system is to better support studentc...
108
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...
102
click to vote
PERCOM
2006
ACM
16 years 1 months ago
2006
ACM
Automatically determining the situation of an ad-hoc group of people and devices within a smart environment is a significant challenge in pervasive computing systems. Current appr...
108
click to vote
ICDCN
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we report our parallel implementations of the Lanczos sparse linear system solving algorithm over large prime fields, on a multi-core platform. We employ several lo...
112
click to vote
ICSEA
2009
IEEE
15 years 8 months ago
2009
IEEE
—In this paper, an integrated approach for cross platform automated software builds and the implementation of a test framework is described. The system introduced here utilizes s...