2911 search results - page 192 / 583 » A Theory of Expressiveness in Mechanisms |
148
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper deals with Hidden Markov Quadtree model for multiband image segmentation. This task, requiring multivariate probability density computations for the data likelihood ter...
155
click to vote
STOC
2009
ACM
16 years 7 months ago
2009
ACM
The classical zero-one law for first-order logic on random graphs says that for every first-order property in the theory of graphs and every p (0, 1), the probability that the r...
186
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
169
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
We present a draft survey tool called the Creativity Support Index (CSI). The CSI is similar to the NASA Task Load Index Survey but is designed specifically for evaluating creativ...
165
click to vote
CDC
2008
IEEE
16 years 29 days ago
2008
IEEE
— In this note, an algebraic approach for state estimation of linear time-varying (LTV) systems is introduced. This approach is based on the following mathematical tools: Laplace...