Sciweavers

6894 search results - page 1159 / 1379
» Generation 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
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...
CN
2004
101views more  CN 2004»
15 years 6 months ago
Adaptive scheduling for integrated traffic on WDM optical networks
One of the important issues in the design of future generation of high-speed networks is to provide differentiated service to different types of traffic with various time constrai...
Maode Ma, Xiaohong Huang
« Prev « First page 1159 / 1379 Last » Next »