Sciweavers

2478 search results - page 387 / 496
» Quadtrees as an Abstract Domain
Sort
View
WG
1995
Springer
14 years 1 months ago
On Interval Routing Schemes and Treewidth
Abstract. In this paper, we investigate which processor networks allow klabel Interval Routing Schemes, under the assumption that costs of edges may vary. We show that for each xed...
Hans L. Bodlaender, Richard B. Tan, Dimitrios M. T...
ECMDAFA
2010
Springer
151views Hardware» more  ECMDAFA 2010»
14 years 28 days ago
Generative Technologies for Model Animation in the TopCased Platform
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurrin...
Xavier Crégut, Benoît Combemale, Marc...
AAAI
2007
13 years 12 months ago
Measuring the Level of Transfer Learning by an AP Physics Problem-Solver
Transfer learning is the ability of an agent to apply knowledge learned in previous tasks to new problems or domains. We approach this problem by focusing on model formulation, i....
Matthew Klenk, Kenneth D. Forbus
DLOG
2007
13 years 12 months ago
Deciding ALBO with Tableau
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
Renate A. Schmidt, Dmitry Tishkovsky
WSC
2008
13 years 12 months ago
Using OMG'S SYSML to support simulation
Currently, system engineering problems are solved using a wide range of domain-specific models and corresponding languages. It is unlikely that a single unified modeling language ...
Christiaan J. J. Paredis, Thomas Johnson