2859 search results - page 530 / 572 » A Programming Environment for Bousi-Prolog |
127
click to vote
ICCS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A framework for a fully implicit solution method is implemented into (1) the High Order Methods Modeling Environment (HOMME), which is a spectral element dynamical core o...
122
click to vote
ISMM
2009
Springer
15 years 8 months ago
2009
Springer
Applying computer technology, such as computer vision in driver assistance, implies that processes and data are modeled as being discretized rather than being continuous. The area ...
125
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
Processor Idle Cycle Aggregation (PICA) is a promising approach for low power execution of processors, in which small memory stalls are aggregated to create a large one, and the p...
116
click to vote
DIGITEL
2008
IEEE
15 years 8 months ago
2008
IEEE
: Games play a dual role: they test the player’s competence, and at the same time provide learning opportunities. They offer a simple form of a reward – the pleasure of playing...
135
click to vote
DSRT
2008
IEEE
15 years 8 months ago
2008
IEEE
The DEVS formalism has been adopted and developed independently by many research teams, which led to various DEVS implementation versions. Consequently, different DEVS implementat...