Sciweavers

4029 search results - page 145 / 806
» Reconfigurable Systems in Education
Sort
View
ERCIMDL
2001
Springer
100views Education» more  ERCIMDL 2001»
15 years 11 months ago
Truth in the Digital Library: From Ontological to Hermeneutical Systems
Aurélien Bénel, Elöd Egyed-Zsig...
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 7 months ago
Minimization of Handoff Failure Probability for Next-Generation Wireless Systems
Debabrata Sarddar, Tapas Jana, Souvik Kumar Saha, ...
153
Voted
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 7 months ago
A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems
We present an algorithm for computing directly the denotation of a modal
Matthew Hague, C.-H. Luke Ong