6608 search results - page 1199 / 1322 » On the Completeness of Model Checking |
115
click to vote
IJAR
2007
15 years 4 months ago
2007
We present an extension of the fuzzy c-Means algorithm, which operates simultaneously on different feature spaces—so-called parallel universes—and also incorporates noise det...
110
click to vote
RAS
2006
15 years 4 months ago
2006
Self-reconfigurable robots are built from modules, which are autonomously able to change the way they are connected. Such a robot can, through this self-reconfiguration process, c...
123
click to vote
RAS
2006
15 years 4 months ago
2006
This article introduces a new software tool that provides an accurate simulation of Sony Aibo robots and the capability to transfer controller programs from the simulation to the ...
107
click to vote
IJMI
2007
15 years 4 months ago
2007
: The increasing dependency being placed on electronic health information systems presents new challenges for today’s health managers and systems developers. This paper uses Elec...
128
click to vote
IJNSEC
2007
15 years 4 months ago
2007
In this paper a novel electronic payment protocol suitable for “peer-to-peer” (P2P) networks is presented. It implements electronic cash-based transactions, between buyers and...