Sciweavers

8671 search results - page 1515 / 1735
» A generator for hierarchical problems
Sort
View
AI
2004
Springer
15 years 6 months ago
ASSAT: computing answer sets of a logic program by SAT solvers
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
Fangzhen Lin, Yuting Zhao
TSP
2008
114views more  TSP 2008»
15 years 6 months ago
Clipping-Noise Guided Sign-Selection for PAR Reduction in OFDM Systems
The peak-to-average power ratio (PAR) of orthogonal frequency division multiplexing (OFDM) systems can be reduced by using an optimal set of subcarrier signs. However, this sign se...
Luqing Wang, Chintha Tellambura
JSW
2007
185views more  JSW 2007»
15 years 6 months ago
A Decision Support System base line Flexible Architecture to Intrusion Detection
—Becoming more competitive and more effective in the current scenes of Business and Public Administration, the organizations must be able to approach easily and quickly to the in...
Marcello Castellano, Giuseppe Mastronardi, Angela ...
JVCA
2007
110views more  JVCA 2007»
15 years 6 months ago
Dual Laplacian morphing for triangular meshes
Recently, animations with deforming objects have been frequently used in various computer graphics applications. Morphing of objects is one of the techniques which realize shape t...
Jianwei Hu, Ligang Liu, Guozhao Wang
CAD
2004
Springer
15 years 6 months ago
A multi-resolution topological representation for non-manifold meshes
We address the problem of representing and processing 3D objects, described through simplicial meshes, which consist of parts of mixed dimensions, and with a non-manifold topology...
Leila De Floriani, Paola Magillo, Enrico Puppo, Da...
« Prev « First page 1515 / 1735 Last » Next »