2364 search results - page 124 / 473 » An Engine for Computing Well-Founded Models |
HCI
2007
15 years 5 months ago
2007
In this paper, we outline a cognitive architecture for communicators, called the BIC model. The model consist of three main components. First, a (B)iological component, in which th...
179
click to vote
ISPDC
2010
IEEE
15 years 2 months ago
2010
IEEE
—This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the stand...
133
click to vote
DAC
2005
ACM
15 years 6 months ago
2005
ACM
Automated analog sizing is becoming an unavoidable solution for increasing analog design productivity. The complexity of typical analog SoC subsystems however calls for efficient ...
121
click to vote
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
Recently, the transaction-level modeling has been widely referred to in system-level design community. However, the transaction-level models(TLMs) are not well defined and the us...
137
click to vote
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper we investigate physics-based plane beam model, frequently used in mechanical and civil engineering, to track large non-linear deformations in images. Such models do ...