9067 search results - page 648 / 1814 » Adaptive Model Checking |
204
Voted
WWW
2005
ACM
16 years 8 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
236
Voted
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
Virtually every commercial query optimizer chooses the best plan for a query using a cost model that relies heavily on accurate cardinality estimation. Cardinality estimation erro...
235
Voted
ICPP
2002
IEEE
16 years 6 days ago
2002
IEEE
A software cache implements instruction and data caching entirely in software. Dynamic binary rewriting offers a means to specialize the software cache miss checks at cache miss t...
168
click to vote
ESANN
2008
15 years 8 months ago
2008
We present a computational model of amygdala neural networks. It is used to simulate neuronal activation in amygdala nuclei at different stages of aversive conditioning experiments...
181
Voted
ICIP
2003
IEEE
16 years 9 months ago
2003
IEEE
Highly scalable video compression based on invertible motion adaptive lifting transforms has emerged as a promising area in image processing research and an important component in...