9067 search results - page 354 / 1814 » Adaptive Model Checking |
205
click to vote
IWANN
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. A spiking neural network modeling the cerebellum is presented. The model, consisting of more than 2000 conductance-based neurons and more than 50 000 synapses, runs in re...
189
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
Abstract— Chip-package thermal analysis is necessary for the design and synthesis of reliable, high-performance, low-power, compact integrated circuits (ICs). Many methods of IC ...
215
click to vote
AMR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Automatic structuring is one means to ease access to document collections, be it for organization or for exploration. Of even greater help would be a presentation that ad...
223
click to vote
ACMICEC
2008
ACM
15 years 9 months ago
2008
ACM
Conventional conversational recommender systems support interaction strategies that are hard-coded into the system in advance. In this context, Reinforcement Learning techniques h...
225
click to vote
TSMC
2010
15 years 2 months ago
2010
We present an adaptive framework for condensation algorithms in the context of human-face tracking. We attack the face tracking problem by making factored sampling more efficient a...