Sciweavers

14709 search results - page 346 / 2942
» Semantic feature modelling
Sort
View
SCAM
2006
IEEE
16 years 24 days ago
Data Representation Alternatives in Semantically Augmented Numerical Models
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
Michael W. Fagan, Laurent Hascoët, Jean Utke
FM
2005
Springer
81views Formal Methods» more  FM 2005»
16 years 9 days ago
Operational Semantics for Model Checking Circus
Jim Woodcock, Ana Cavalcanti, Leonardo Freitas
PODS
1992
ACM
96views Database» more  PODS 1992»
15 years 10 months ago
The Valid Model Semantics for Logic Programs
Catriel Beeri, Raghu Ramakrishnan, Divesh Srivasta...