1054 search results - page 89 / 211 » Translation Validation of System Abstractions |
175
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
235
click to vote
CONCUR
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
161
click to vote
GLOBECOM
2008
IEEE
16 years 22 days ago
2008
IEEE
Abstract—This paper aims at validation of an iterative receiver for Multiple-Input Multiple-Output with Orthogonal Frequency Division Multiplexing (MIMO-OFDM) systems using real-...
162
click to vote
IROS
2008
IEEE
16 years 20 days ago
2008
IEEE
Abstract. Both self-learning architecture (embedded structure) and explicit/implicit teaching from other agents (environmental design issue) are necessary not only for one behavior...
147
click to vote
ICDCSW
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract— Online feedback-based rating systems are gaining popularity. Dealing with unfair ratings in such systems has been recognized as an important but difficult problem. Thi...