46084 search results - page 9174 / 9217 » Developments in WIS development |
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Software internationalization aims to make software accessible and usable by users all over the world. For a Java application that does not consider internationalization at the be...
SOCIALCOM
2010
13 years 5 months ago
2010
Theme network is a semantic network of document specific themes. So far Natural Language Processing (NLP) research patronized much of topic based summarizer system, unable to captu...
SOCIALCOM
2010
13 years 5 months ago
2010
In recent years, several researchers have proposed techniques for providing users with assistance in understanding and overcoming authorization denials. The incorporation of envir...
SOCIALCOM
2010
13 years 5 months ago
2010
We developed user models of knowledge exploration in a social tagging system to test the expertise rankings generated by a link-structure method and a semantic-structure method. Th...
TACAS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...