7890 search results - page 231 / 1578 » The MathSAT 3 System |
200
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper presents an analytical model and a geometric numerical integrator for a rigid body connected to an elastic string, acting under a gravitational potential. Since the ...
142
click to vote
CSFW
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
145
click to vote
INFOVIS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper proposes a new technique to visualize dependencies among cells in a spreadsheet. In this way, the system firstly visualizes a spreadsheet on a plane in threedimensional...
188
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
Multihop and multipoint transmissions are two of the main features towards an increased spectral efficiency for the LTE-Advanced mobile radio system. Fixed wireless relays with in-...
168
click to vote
FDL
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper presents an approach for modeling an inertial navigation system. This system consists of a 3D acceleration and rotation sensor array, analog and digital error correctio...