898 search results - page 32 / 180 » A Linear Tabling Mechanism |
AAAI
2012
11 years 10 months ago
2012
In AI research, mechanism design is typically used to allocate tasks and resources to agents holding private information about their values for possible allocations. In this conte...
ISBI
2002
IEEE
14 years 8 months ago
2002
IEEE
There have been many efforts using image analysis algorithms to study cardiac kinematics, or using biomechanics strategies to study myocardial material properties. In this paper, ...
TCOM
2008
13 years 7 months ago
2008
In this article, we present a novel discrete-time Markov chain model of book-ahead bandwidthsharing mechanisms. We use this analytical model and a simulation model to understand t...
ICCD
2008
IEEE
14 years 4 months ago
2008
IEEE
— Test-access mechanisms (TAMs) and test wrappers (e.g., the IEEE Standard 1500 wrapper) facilitate the modular testing of embedded cores in a core-based system-on-chip (SOC). Su...
ICMENS
2005
IEEE
14 years 1 months ago
2005
IEEE
– A classical mechanistic model was developed to capture the existence of pre-sliding tangential deflection (PSTD) in contacting polysilicon and coated polysilicon surfaces. For ...