2488 search results - page 319 / 498 » An improvement in formal verification |
204
click to vote
CGF
2010
15 years 7 months ago
2010
Graph visualization systems often exploit opaque metanodes to reduce visual clutter and improve the readability of large graphs. This filtering can be done in a path-preserving wa...
180
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Modularity is thought to improve the evolvability of biological systems [18, 22]. Recent studies in the field of evolutionary computation show that the use of modularity improves...
208
click to vote
HCI
2009
15 years 5 months ago
2009
With the increasing interest in metamodeling techniques for Domain Specific Modeling Languages (DSML) definition, there is a strong need to improve the language modeling process. O...
178
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
195
click to vote
DEXAW
2008
IEEE
16 years 1 months ago
2008
IEEE
Arabic is a language with a particularly large vocabulary rich in words with synonymous shades of meaning. Modern Standard Arabic, which ...