Sciweavers

9989 search results - page 442 / 1998
» A CLP Approach to Modelling Systems
Sort
View
EUSFLAT
2003
138views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
Multirelational linguistic models
This paper regards the recurrent linguistic rule bases. These systems are considered as relational models with several relations. Such representation allows to use relation algebr...
Oleksandr Sokolov
FDBS
2001
108views more  FDBS 2001»
15 years 8 months ago
Combining a Formal with an Example-driven Approach for Data Integration
Integrating data sources is a general problem in many scenarios. The main problem is the heterogeneity between data sources which were created and developed separately. In the lit...
Ingolf Geist, Kai-Uwe Sattler, Ingo Schmitt
MICCAI
2005
Springer
16 years 7 months ago
Simulating Vascular Systems in Arbitrary Anatomies
Better physiological understanding of principles regulating vascular formation and growth is mandatory to their efficient modeling for the purpose of physiologically oriented medi...
Dominik Szczerba, Gábor Székely
EUROMICRO
1998
IEEE
15 years 11 months ago
Design Correctness of Digital Systems
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Corrie Huijs
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
16 years 28 days ago
A Formal Approach towards Assessing the Effectiveness of Anti-Spam Procedures
Spam e-mails have become a serious technological and economic problem. So far we have been reasonably able to resist spam e-mails and use the Internet for regular communication by...
Guido Schryen