12774 search results - page 345 / 2555 » A Framework for Proof Systems |
164
click to vote
IPPS
2005
IEEE
16 years 13 days ago
2005
IEEE
— We describe the design and implementation of MOCCA, a distributed CCA framework implemented using the H2O metacomputing system. Motivated by the quest for appropriate metasyste...
153
click to vote
SCIA
2005
Springer
16 years 9 days ago
2005
Springer
One of the key requirements for a cognitive vision system to support reasoning is the possession of an effective mechanism to exploit context both for scene interpretation and for...
174
click to vote
AIEDU
2007
15 years 7 months ago
2007
In recent years, the learner models of some adaptive learning environments have been opened to the learners they represent. However, as yet there is no standard way of describing a...
233
click to vote
RTS
2002
15 years 6 months ago
2002
This paper presents a Feedback Control real-time Scheduling (FCS) framework for adaptive realtime systems. An advantage of the FCS framework is its use of feedback control theory ...
187
Voted
VISUALIZATION
2005
IEEE
16 years 12 days ago
2005
IEEE
Techniques in numerical simulation such as the finite element method depend on basis functions for approximating the geometry and variation of the solution over discrete regions ...