[IEEE 2007 10th IEEE International Conference on Computer-Aided Design and Computer Graphics - Beijing, China (2007.10.15-2007.10.18)] 2007 10th IEEE International Conference on Computer-Aided Design and Computer Graphics - Implicit Surface Modeling Suitable for Inside/Outside Tests with Radial Basis Functions
- 作者Pan, Rongjiang; Skala, Vaclav
- 文件大小43.95KB
- 发表时间2007
- DOI10.1109/cadcg.2007.4407842
- 页码28-28
Temporalized logics and automata for time granularityFRANCESCHET, MASSIMO; MONTANARI, ANGELO · Theory and Practice of Logic Programming · 2004
Definability and decidability of binary predicates for time granularityMassimo Franceschet; Angelo Montanari; Adriano Peron; Guido Sciavicco · 2006
A Guided Tour through some Extensions of the Event CalculusIliano Cervesato; Massimo Franceschet; Angelo Montanari · 2000
Model Checking for Combined Logics with an Application to Mobile SystemsMassimo Franceschet; Angelo Montanari; Maarten de Rijke · 2004
A graph-theoretic approach to map conceptual designs to XML schemasFranceschet, Massimo; Gubiani, Donatella; Montanari, Angelo; Piazza, Carla · ACM Transactions on Database Systems · 2013
[IEEE 18th International Conference on Database and Expert Systems Applications (DEXA 2007) - Regensburg, Germany (2007.09.3-2007.09.7)] 18th International Conference on Database and Expert Systems Applications (DEXA 2007) - Modeling and Validating Spatio-Temporal Conceptual Schemas in XML SchemaFranceschet, Massimo; Montanari, Angelo; Gubiani, Donatella · 2007
[IEEE 18th International Conference on Database and Expert Systems Applications (DEXA 2007) - Regensburg, Germany (2007.09.3-2007.09.7)] 18th International Conference on Database and Expert Systems Applications (DEXA 2007) - Modeling and Validating Spatio-Temporal Conceptual Schemas in XML SchemaFranceschet, Massimo; Montanari, Angelo; Gubiani, Donatella · 2007