2610 search results - page 337 / 522 » Computational Probabilistic Non-interference |
129
Voted
SDM
2009
SIAM
16 years 26 days ago
2009
SIAM
Popularity of mobile devices is accompanied by widespread security problems, such as MAC address spoofing in wireless networks. We propose a probabilistic approach to temporal an...
108
Voted
ISQED
2009
IEEE
15 years 10 months ago
2009
IEEE
— With continued scaling, reliability is emerging as a critical challenge for the designers of digital circuits. The challenge stems in part from the lack of computationally ef...
118
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— We present a method for topological SLAM that specifically targets loop closing for edge-ordered graphs. Instead of using a heuristic approach to accept or reject loop closing...
106
Voted
AIED
2009
Springer
15 years 10 months ago
2009
Springer
We present a novel phoneme-based student model for spelling training. Our model is data driven, adapts to the user and provides information for, e.g., optimal word selection. We de...
126
Voted
DFG
2009
Springer
15 years 10 months ago
2009
Springer
In this chapter we present recent contributions in the field of sequential job scheduling on network machines which work in parallel; these are subject to temporary unavailability...