3713 search results - page 642 / 743 » Constructing a Calculus of Programs |
158
click to vote
UM
2007
Springer
16 years 14 days ago
2007
Springer
Recommender systems are gaining widespread acceptance in e-commerce applications to confront the “information overload” problem. Collaborative Filtering (CF) is a successful re...
153
click to vote
AINA
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract— We developed the HAT (Home Appliance Translator) and HAT-Sub to enable conventional appliances without telecommunication capabilities to connect to home networks. The d...
144
click to vote
CSFW
2006
IEEE
16 years 13 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
116
click to vote
CSMR
2006
IEEE
16 years 13 days ago
2006
IEEE
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code ...
204
click to vote
IPPS
2006
IEEE
16 years 12 days ago
2006
IEEE
In this paper we describe a new approach for the well known problem in bioinformatics: Multiple Sequence Alignment (MSA). MSA is fundamental task as it represents an essential pla...