3709 search results - page 316 / 742 » Supporting experimentation with Side-Views |
191
click to vote
ENTCS
2006
15 years 6 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
164
click to vote
IJMC
2008
15 years 6 months ago
2008
: This paper presents a Multimedia Message Transmitter Tool (MMTT) that provides businesses with the opportunity to use Bluetooth wireless connectivity delivering the relevant info...
175
click to vote
IJMSO
2008
15 years 6 months ago
2008
: Recent advances in the Semantic Web research community actuated the experimentation with a variety of approaches concerning the retrieval of Semantic Web Documents (SWDs). Most a...
133
Voted
ISCI
2006
15 years 6 months ago
2006
Particle swarm optimization (PSO) has shown to be an efficient, robust and simple optimization algorithm. Most of the PSO studies are empirical, with only a few theoretical analys...
217
click to vote
ISM
2006
IEEE
15 years 6 months ago
2006
IEEE
Similarity search is a fundamental operation for applications that deal with unstructured data sources. In this paper we propose a new pivot-based method for similarity search, ca...