1690 search results - page 173 / 338 » Algorithmic Properties of Millstream Systems |
132
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
107
click to vote
WISE
2000
Springer
15 years 9 months ago
2000
Springer
Web-based collaboration is becoming increasingly common. Often such collaboration exhibits emergent characteristics, for which systems based on a notion of workspaces provide suit...
157
click to vote
ICMCS
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents an integrated framework for interactive content-based retrieval in video databases by means of visual queries. The proposed system incorporates algorithms for ...
BMCBI
2008
15 years 4 months ago
2008
Background: Interaction of a drug or chemical with a biological system can result in a geneexpression profile or signature characteristic of the event. Using a suitably robust alg...
137
click to vote
ISCI
2000
15 years 4 months ago
2000
This paper discusses a model of quantum associative memory which generalizes the completing associative memory proposed by Ventura and Martinez. Similar to this model, our system ...