Sciweavers

3481 search results - page 602 / 697
» A New Approach to Component Testing
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
JVCIR
2007
271views more  JVCIR 2007»
15 years 6 months ago
Text detection and restoration in natural scene images
A new method for text detection and recognition in natural scene images is presented in this paper. In the detection process, color, texture, and OCR statistic features are combin...
Qixiang Ye, Jianbin Jiao, Jun Huang, Hua Yu
CG
2002
Springer
15 years 6 months ago
Gentropy: evolving 2D textures
Gentropy is a genetic programming system that evolves two-dimensional procedural textures. It synthesizes textures by combining mathematical and image manipulation functions into ...
Andrea L. Wiens, Brian J. Ross
CGF
1998
116views more  CGF 1998»
15 years 5 months ago
A Light Hierarchy for Fast Rendering of Scenes with Many Lights
We introduce a new data structure in the form of a light hierarchy for efficiently ray-tracing scenes with many light sources. An octree is constructed with the point light sourc...
Eric Paquette, Pierre Poulin, George Drettakis
SIMULATION
1998
177views more  SIMULATION 1998»
15 years 5 months ago
Simulation and Planning of an Intermodal Container Terminal
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
Luca Maria Gambardella, Andrea Emilio Rizzoli, Mar...