Sciweavers

541 search results - page 71 / 109
» Adaptive hypermedia: from systems to framework
Sort
View
CGF
2002
142views more  CGF 2002»
15 years 6 months ago
Efficient Fitting and Rendering of Large Scattered Data Sets Using Subdivision Surfaces
We present a method to efficiently construct and render a smooth surface for approximation of large functional scattered data. Using a subdivision surface framework and techniques...
Vincent Scheib, Jörg Haber, Ming C. Lin, Hans...
TABLEAUX
2009
Springer
15 years 10 months ago
Tableaux for Projection Computation and Knowledge Compilation
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
Christoph Wernhard
COMPLEX
2009
Springer
16 years 23 days ago
Designing Capital-Intensive Systems with Architectural and Operational Flexibility Using a Screening Model
: Development of capital intensive systems, such as offshore oil platforms or other industrial infrastructure, generally requires a significant amount of capital investment under v...
Jijun Lin, Olivier de Weck, Richard de Neufville, ...
CL
2008
Springer
15 years 6 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
SEKE
2005
Springer
15 years 11 months ago
Modelling Agent Knowledge with Business Rules
Multi-agent systems have become increasingly mature, but their appearance does not make the traditional OO approach obsolete. On the contrary, OO methodologies can benefit from th...
Liang Xiao 0002, Des Greer