1631 search results - page 263 / 327 » Observing Functional Logic Computations |
113
click to vote
AOSD
2003
ACM
15 years 3 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
MICRO
1999
IEEE
15 years 2 months ago
1999
IEEE
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
Nonnegative Matrix Factorization (NMF) is a powerful decomposition tool which has been used in several content representation applications recently. However, there are some diffic...
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
Relevance feedback is an attractive approach to developing flexible metrics for content-based retrieval in image and video databases. Large image databases require an index struct...
ICML
2006
IEEE
15 years 10 months ago
2006
IEEE
Reinforcement learning (RL) was originally proposed as a framework to allow agents to learn in an online fashion as they interact with their environment. Existing RL algorithms co...