Sciweavers

5622 search results - page 63 / 1125
» Solving architectural modelling problems using knowledge
Sort
View
VC
2011
161views more  VC 2011»
14 years 7 months ago
A GPU framework for parallel segmentation of volumetric images using discrete deformable models
Despite the ability of current GPU processors to treat heavy parallel computation tasks, its use for solving medical image segmentation problems is still not fully exploited and re...
Jérôme Schmid, José Antonio Ig...
87
Voted
ICST
2008
IEEE
15 years 7 months ago
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
Sagar Sen, Benoit Baudry, Jean-Marie Mottu
88
Voted
ICANN
2009
Springer
15 years 7 months ago
Connectionist Models for Formal Knowledge Adaptation
Abstract. Both symbolic knowledge representation systems and artificial neural networks play a significant role in Artificial Intelligence. A recent trend in the field aims at ...
Ilianna Kollia, Nikos Simou, Giorgos B. Stamou, An...
AI
2008
Springer
15 years 21 days ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar
AIPS
1994
15 years 1 months ago
Control Knowledge to Improve Plan Quality
Generating production-quality plans is an essential element in transforming planners from research tools into real-world applications. However most of the work to date on learning...
M. Alicia Pérez, Jaime G. Carbonell