2150 search results - page 198 / 430 » On a restricted cross-intersection problem |
133
click to vote
JAIR
2006
15 years 4 months ago
2006
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable for...
124
click to vote
ENTCS
2007
15 years 4 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
133
click to vote
NA
2008
15 years 4 months ago
2008
In this paper, we propose a segmentation method based on the Generalized Fast Marching Method (GFMM) developed by Carlini et al.([6]). The classical Fast Marching Method (FMM) is a...
150
click to vote
NPL
2006
15 years 4 months ago
2006
In this paper we construct an associative memory model based on the restricted Coulomb energy (RCE) network. We propose a simple architecture and training algorithm for this RCE-b...
146
click to vote
PERCOM
2006
ACM
15 years 4 months ago
2006
ACM
Sensor network operating systems have to operate with limited hardware resources. Constraints on power consumption greatly reduce the resources available to such an operating syst...