Sciweavers

1789 search results - page 283 / 358
» Extending the Choquet integral
Sort
View
ADHOC
2005
122views more  ADHOC 2005»
15 years 6 months ago
Bandwidth guaranteed call admission in TDMA/CDMA ad hoc wireless networks
This paper first studied the timeslot assignment problem in time division multiple access/code division multiple access (TDMA/CDMA) wireless ad hoc networks. Given a path P, we pr...
Hai Liu, Xiaohua Jia, Deying Li, Chan-Hee Lee
IJSYSC
2007
170views more  IJSYSC 2007»
15 years 6 months ago
Nonlinear attitude and gyroscope's bias estimation for a VTOL UAV
: This paper addresses the problem of attitude and heading restitution for a VTOL UAV. We describe an observation strategy to restitute the complete attitude matrix of the vehicle ...
Jean Michel Pflimlin, Tarek Hamel, Philippe Sou&eg...
IM
2007
15 years 6 months ago
Inverted Index Support for Numeric Search
Today’s search engines are increasingly required to broaden their capabilities beyond free-text search. More complex features, such as supporting range constraints over numeric ...
Marcus Fontoura, Ronny Lempel, Runping Qi, Jason Y...
TCS
2008
15 years 6 months ago
Cryptographically-masked flows
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
Aslan Askarov, Daniel Hedin, Andrei Sabelfeld
TII
2008
98views more  TII 2008»
15 years 6 months ago
Formal Methods for Systems Engineering Behavior Models
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
Charlotte Seidner, Olivier H. Roux