2605 search results - page 135 / 521 » The many levels of CSCL |
153
click to vote
TACAS
2007
Springer
16 years 18 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
166
click to vote
WISA
2007
Springer
16 years 18 days ago
2007
Springer
The search for patterns or motifs in data represents an area of key interest to many researchers. In this paper we present the Motif Tracking Algorithm, a novel immune inspired pat...
188
click to vote
IPPS
2006
IEEE
16 years 16 days ago
2006
IEEE
In recent years, we have witnessed a growing interest in high performance computing (HPC) using a cluster of workstations. However, many challenges remain to be resolved before th...
181
click to vote
VTC
2006
IEEE
16 years 15 days ago
2006
IEEE
— Nowadays, a new generation of civil location based services (LBS) included in the intelligent road transport systems (ITS-R) field is emerging. The reliability of positioning ...
189
click to vote
WISE
2006
Springer
16 years 15 days ago
2006
Springer
. A location-based search engine must be able to find and assign proper locations to Web resources. Host, content and metadata location information are not sufficient to describe t...