Sciweavers

725 search results - page 124 / 145
» Portable Natural Language Generation using SPOKESMAN
Sort
View
WWW
2007
ACM
16 years 5 months ago
Tag clouds for summarizing web search results
In this paper, we describe an application, PubCloud that uses tag clouds for the summarization of results from queries over the PubMed database of biomedical literature. PubCloud ...
Benjamin M. Good, Byron Yu-Lin Kuo, Mark D. Wilkin...
CAV
2009
Springer
239views Hardware» more  CAV 2009»
15 years 8 months ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
DATE
2004
IEEE
130views Hardware» more  DATE 2004»
15 years 8 months ago
Utilizing Formal Assertions for System Design of Network Processors
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
Xi Chen, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Fe...
GISCIENCE
2004
Springer
144views GIS» more  GISCIENCE 2004»
15 years 9 months ago
Landmarks in the Communication of Route Directions
We investigate the understanding of landmarks using a model of embedding procedures that sees affordances established on three levels. On the first level there are landmark experie...
Elisabeth Weissensteiner, Stephan Winter
KI
2004
Springer
15 years 9 months ago
SmartWeb: Mobile Applications of the Semantic Web
Abstract Recent progress in mobile broadband communication and semantic web technology is enabling innovative internet services that provide advanced personalization and localizati...
Wolfgang Wahlster