5525 search results - page 503 / 1105 » Verification of Model Transformations |
189
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
187
click to vote
CVPR
2006
IEEE
15 years 10 months ago
2006
IEEE
The face recognition system based on the only single classifier considering the restricted information can not guarantee the generality and superiority of performances in a real s...
229
click to vote
EMSOFT
2008
Springer
15 years 9 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
162
click to vote
BIOINFORMATICS
2010
15 years 7 months ago
2010
Motivation: As next generation sequencing is rapidly adding new genomes, their correct placement in the taxonomy needs verification. However, the current methods for confirming cl...
208
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...