4418 search results - page 50 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
160
Voted
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
Enterprises provide professionally authored content about their products/services in different languages for use in web sites and customer care. For customer care, personalization...
146
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Hermes is an ontology-based framework for building news personalization services. This framework consists of a news classification phase, which classifies the news, a knowledge ...
134
Voted
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
162
Voted
RE
2010
Springer
14 years 10 months ago
2010
Springer
The design of the variability of a software product line is crucial to its success and evolution. Meaningful variable features need to be elicited, analyzed, documented and validat...
148
click to vote
NLDB
2007
Springer
15 years 10 months ago
2007
Springer
This work deals with determination of meaningful and terse cluster labels for News document clusters. We analyze a number of alternatives for selecting headlines and/or sentences o...