Sciweavers

2171 search results - page 268 / 435
» Combining Funnels: A Dynamic Approach to Software Combining
Sort
View
ACRI
2006
Springer
15 years 10 months ago
Merging Cellular Automata for Simulating Surface Effects
This paper describes a model of three-dimensional cellular automata allowing to simulate different phenomena in the fields of computer graphics or image processing. Our method allo...
Stéphane Gobron, Denis Finck, Philippe Even...
DATE
2004
IEEE
116views Hardware» more  DATE 2004»
15 years 10 months ago
A Novel SAT All-Solutions Solver for Efficient Preimage Computation
In this paper, we present a novel all-solutions preimage SAT solver, SOLALL, with the following features: (1) a new success-driven learning algorithm employing smaller cut sets; (...
Bin Li, Michael S. Hsiao, Shuo Sheng
ECAI
2004
Springer
15 years 10 months ago
OntoRefiner, a user query refinement interface usable for Semantic Web Portals
We present a user interface, the OntoRefiner1 system, for helping the user to navigate numerous retrieved documents after a search querying a semantic portal which integrates a ver...
Brigitte Safar, Hassen Kefi, Chantal Reynaud
ESWS
2006
Springer
15 years 10 months ago
Ideas and Improvements for Semantic Wikis
We present an architecture for combining wikis containing hypertext with ontologies containing formal, structured information. A web-based ontology editor that supports collaborati...
Jochen Fischer, Zeno Gantner, Steffen Rendle, Manu...
SIGGRAPH
1995
ACM
15 years 10 months ago
Motion signal processing
Techniques from the image and signal processing domain can be successfully applied to designing, modifying, and adapting animated motion. For this purpose, we introduce multiresol...
Armin Bruderlin, Lance Williams