Wireless network algorithms and broadcasting constitute a vibrant area of research that addresses the challenges of rapid, reliable and efficient communication in increasingly complex wireless ...

Vol. 69, No. 1, Analytic Tableaux and Related Methods. Part 1: Modal Logics (Oct., 2001), pp. 5-40 (36 pages) Description logics are a family of knowledge representation formalisms that are descended ...

In recent years, predictive technologies for volcanic eruptions have advanced significantly, particularly with the ...

Cross posted from Smart Planet. Ford and Nuance Communications, a leading voice recognition software company, said they will collaborate to make the automaker's SYNC in-car entertainment system ...