1146 search results - page 52 / 230 » Finite cupping sets |
179
Voted
ICLP
2009
Springer
16 years 15 days ago
2009
Springer
When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiat...
104
click to vote
SIAMSC
2008
14 years 11 months ago
2008
In this paper, we propose a stochastic mixed multiscale finite element method. The proposed method solves the stochastic porous media flow equation on the coarse grid using a set ...
104
click to vote
IJCSA
2007
14 years 11 months ago
2007
A large number of problems that occur in knowledge-representation, learning, VLSI-design, and other areas of artificial intelligence, are essentially satisfiability problems. The ...
ACL
2010
14 years 10 months ago
2010
In this paper, we propose a novel method for automatic segmentation of a Sanskrit string into different words. The input for our segmentizer is a Sanskrit string either encoded as...
ICIP
2006
IEEE
16 years 1 months ago
2006
IEEE
Recently, it was shown that it is possible to sample classes of 1D and 2-D signals with finite rate of innovation (FRI) [9, 4, 5, 3, 2, 7]. In particular, in [7], we presented loc...