Sciweavers

1631 search results - page 263 / 327
» Observing Functional Logic Computations
Sort
View
AOSD
2003
ACM
15 years 8 months ago
Quantifying aspects in middleware platforms
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...
Charles Zhang, Hans-Arno Jacobsen
119
Voted
MICRO
1999
IEEE
105views Hardware» more  MICRO 1999»
15 years 7 months ago
DIVA: A Reliable Substrate for Deep Submicron Microarchitecture Design
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
Todd M. Austin
128
Voted
ICIP
2007
IEEE
16 years 5 months ago
Video Content Representation by Incremental Non-Negative Matrix Factorization
Nonnegative Matrix Factorization (NMF) is a powerful decomposition tool which has been used in several content representation applications recently. However, there are some diffic...
Bilge Günsel, Serhat Selcuk Bucak
139
Voted
ICIP
2003
IEEE
16 years 5 months ago
Kernel indexing for relevance feedback image retrieval
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...
Jing Peng, Douglas R. Heisterkamp
ICML
2006
IEEE
16 years 4 months ago
An analytic solution to discrete Bayesian reinforcement learning
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...
Pascal Poupart, Nikos A. Vlassis, Jesse Hoey, Kevi...