1960 search results - page 12 / 392 » The Logic of Large Enough |
GLVLSI
2007
IEEE
14 years 1 months ago
2007
IEEE
A special logic synthesis problem is considered for Boolean functions which have large don’t care sets and are irregular. Here, a function is considered as irregular if the inpu...
IGPL
2000
13 years 7 months ago
2000
The aim of this paper is to investigate the expressibility of classical propositional monomodal logics. To this end, a notion of embedding of one logic into another is introduced,...
ICPR
2004
IEEE
14 years 8 months ago
2004
IEEE
This paper presents an adaptative algorithm for the segmentation of color images suited for document image analysis. The algorithm is based on a serialization of the k-means algor...
ICML
2004
IEEE
14 years 8 months ago
2004
IEEE
We present a trainable sequential-inference technique for processes with large state and observation spaces and relational structure. Our method assumes "reliable observation...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...