Sciweavers

3387 search results - page 585 / 678
» Automating the Metamodeling Process
Sort
View
EUROMED
2010
15 years 3 months ago
Complementary Approach for Vernacular Wooden Frame Structures Reconstruction
The research is focused on traditional timber frame structures (TFS) situated in rural areas. Often neglected, remaining examples embody our build Heritage. However, architects hav...
Laurent Debailleux
ICFEM
2010
Springer
15 years 3 months ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...
ICSOC
2010
Springer
15 years 3 months ago
BPEL4Pegasus: Combining Business and Scientific Workflows
Business and scientific workflow management systems (WfMS) offer different features to their users because they are developed for different application areas with different require...
Mirko Sonntag, Dimka Karastoyanova, Ewa Deelman
164
Voted
IJAR
2010
153views more  IJAR 2010»
15 years 3 months ago
Diagnosis of dyslexia with low quality data with genetic fuzzy systems
For diagnosing dyslexia in early childhood, children have to solve non-writing based, graphical tests. Curently, these tests are processed by a human expert; applying artificial ...
Ana M. Palacios, Luciano Sánchez, Iné...
IJBRA
2010
116views more  IJBRA 2010»
15 years 3 months ago
Scaling alignment of large ontologies
: In recent years, the number of ontologies shared on the Web has increased dramatically, supporting a growing set of applications such as biological knowledge sharing, enhanced se...
Suzette Stoutenburg, Jugal Kalita, Kaily Ewing, Li...