585 search results - page 90 / 117 » Better Abstractions for Timed Automata |
ICCS
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. Humanity’s understanding of the Earth’s weather and climate depends critically on accurate forecasting and state-estimation technology. It is not clear how to build a...
EUROPAR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Virtualization technology has been gaining acceptance in the scientific community due to its overall flexibility in running HPC applications. It has been reported that a ...
ACISICIS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Although temporal context may significantly affect the popularity of items and user preference over items, traditional information filtering techniques such as recommende...
ACL
2008
14 years 11 months ago
2008
For centuries, the deep connection between languages has brought about major discoveries about human communication. In this paper we investigate how this powerful source of inform...
81
Voted
NETWORKING
2010
14 years 11 months ago
2010
Abstract. More and more free multi-party video conferencing applications are readily available over the Internet and both Server-to-Client (S/C) or Peer-to-Peer (P2P) technologies ...