2364 search results - page 128 / 473 » An Engine for Computing Well-Founded Models |
126
click to vote
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
127
click to vote
EUROPAR
2000
Springer
15 years 8 months ago
2000
Springer
One of the advantages of logic programming is the fact that it offers many sources of implicit parallelism, such as and-parallelism and or-parallelism. Arguably, or-parallel system...
167
click to vote
SIMULATION
2011
14 years 11 months ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
112
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
125
click to vote
AIED
2009
Springer
15 years 11 months ago
2009
Springer
This paper introduces UK-SpecIAL, a simple independent open learner model to raise learner awareness of their progress towards learning outcomes across components of their degree. ...