22 search results - page 3 / 5 » General and nested Wiberg minimization |
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
BNCOD
2007
13 years 10 months ago
2007
Order is essential for XML query processing. Efficient XML processing with order consideration over relational storage is non-trivial, especially for complex nested XQuery expressi...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
A major factor in the effectiveness of the interaction which users have with Web applications is the ease with which they can locate information and functionality which they are s...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
Motivated by constraint-based CAD software, we introduce a new, very general, rigidity model: the body-and-cad structure, composed of rigid bodies in 3D constrained by pairwise co...
SOFTVIS
2003
ACM
14 years 1 months ago
2003
ACM
UML diagrams have become increasingly important in the engineering and reengineering processes for software systems. Of particular interest are UML class diagrams whose purpose is...