Sciweavers

5325 search results - page 818 / 1065
» Effective Computation for Nonlinear Systems
Sort
View
LICS
2003
IEEE
15 years 12 months ago
Model-checking Trace Event Structures
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
P. Madhusudan
ICPPW
2002
IEEE
15 years 11 months ago
A Study of Dynamic Routing and Wavelength Assignment with Imprecise Network State Information
In large networks, maintaining precise global network state information is almost impossible. Many factors, such as non-negligible propagation delay, infrequent state updates due ...
Jun Zhou, Xin Yuan
WISE
2002
Springer
15 years 11 months ago
A Content-Based Resource Location Mechanism in PeerIS
With the flurry of research on P2P computing, many P2P technical challenges have emerged, one of which is how to efficiently locate desired resources. Advances have been made in...
Bo Ling, Zhiguo Lu, Wee Siong Ng, Beng Chin Ooi, K...
CDC
2009
IEEE
124views Control Systems» more  CDC 2009»
15 years 11 months ago
The Kalman like particle filter: Optimal estimation with quantized innovations/measurements
— We study the problem of optimal estimation using quantized innovations, with application to distributed estimation over sensor networks. We show that the state probability dens...
Ravi Teja Sukhavasi, Babak Hassibi
138
Voted
EICS
2009
ACM
15 years 11 months ago
AUGUR: providing context-aware interaction support
As user interfaces become more and more complex and feature laden, usability tends to decrease. One possibility to counter this effect are intelligent support mechanisms. In this ...
Melanie Hartmann, Daniel Schreiber, Max Mühlh...