208 search results - page 24 / 42 » An Empirically-Based Process to Improve the Practice of Requ... |
MODELS
2009
Springer
14 years 1 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
We consider the blind separation of sources with general (e.g., not necessarily stationary) temporal covariance structures. When the sources’ temporal covariance matrices are kn...
NOSSDAV
1991
Springer
13 years 11 months ago
1991
Springer
One of the most important emerging developments for improving the user/computer interface has been the addition of multimedia facilities to high-performance workstations. Although...
ACL
1998
13 years 8 months ago
1998
A lexicon is an essential component in a generation system but few efforts have been made to build a rich, large-scale lexicon and make it reusable for different generation applic...
UMUAI
2008
13 years 7 months ago
2008
Abstract. Provision of personalized recommendations to users requires accurate modeling of their interests and needs. This paper proposes a general framework and specific methodolo...