9405 search results - page 347 / 1881 » Computing a Model of Set Theory |
136
click to vote
JAR
2008
15 years 5 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
159
click to vote
IJSE
2010
15 years 2 months ago
2010
Affective computing has proven to be a viable field of research comprised of a large number of multidisciplinary researchers resulting in work that is widely published. The majori...
135
click to vote
ECCV
2002
Springer
16 years 7 months ago
2002
Springer
In order to investigate the deep structure of Gaussian scale space images, one needs to understand the behaviour of spatial critical points under the influence of blurring. We sho...
121
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
We present a simple dynamic equilibrium model for an online exchange where both buyers and sellers arrive according to a exogenously defined stochastic process. The structure of t...
150
Voted
ICCAD
2007
IEEE
16 years 2 months ago
2007
IEEE
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...