Sciweavers

269 search results - page 39 / 54
» kais 2008
Sort
View
LREC
2008
88views Education» more  LREC 2008»
13 years 11 months ago
KYOTO: a System for Mining, Structuring and Distributing Knowledge across Languages and Cultures
We outline work to be carried out within the framework of an impending EC project. The goal is to construct a language-independent information system for a specific domain (environ...
Piek Vossen, Eneko Agirre, Nicoletta Calzolari, Ch...
IJHPCA
2008
96views more  IJHPCA 2008»
13 years 9 months ago
BlueGene/L applications: Parallelism On a Massive Scale
pc.sagepub.com/cgi/content/abstract/22/1/33 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:International Journal ...
Bronis R. de Supinski, Martin Schulz, Vasily Bulat...
APN
2008
Springer
13 years 12 months ago
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
Kais Klai, Denis Poitrenaud
GISCIENCE
2008
Springer
141views GIS» more  GISCIENCE 2008»
13 years 11 months ago
Simplest Instructions: Finding Easy-to-Describe Routes for Navigation
Abstract. Current applications for wayfinding and navigation assistance usually calculate the route to a destination based on the shortest or fastest path from the origin. However...
Kai-Florian Richter, Matt Duckham
GLOBECOM
2008
IEEE
14 years 4 months ago
Towards Secure Link Quality Measurement in Multihop Wireless Networks
Abstract— Link quality measurement (LQM), i.e. packet reception ratio (PRR) measurement, is becoming an indispensable component in multihop wireless networks. However, in all the...
Kai Zeng, Shucheng Yu, Kui Ren, Wenjing Lou, Yanch...