4693 search results - page 607 / 939 » Verifying Hybrid Systems |
172
click to vote
JCM
2007
15 years 6 months ago
2007
—Modulation techniques have attracted increasing attention in optical wireless communications. Basic schemes such as on off keying (OOK), pulse amplitude modulation (PAM) and pul...
182
click to vote
AROBOTS
2004
15 years 6 months ago
2004
In this paper, we present a paradigm for coordinating multiple robots in the execution of cooperative tasks. The basic idea in the paper is to assign to each robot in the team, a ...
151
Voted
CGF
2000
15 years 6 months ago
2000
We present an interactive system for the generation of high quality triangle meshes that allows us to handle hybrid geometry (point clouds, polygons, ...) as input data. In order ...
195
click to vote
JOLLI
2002
15 years 6 months ago
2002
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...
181
click to vote
TIFS
2010
15 years 5 months ago
2010
This paper presents a new evolutionary approach for adaptive combination of multiple biometrics to ensure the optimal performance for the desired level of security. The adaptive c...