2766 search results - page 116 / 554 » Hybridizing a Logical Framework |
144
click to vote
IWOMP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. With the advent of multicore- and manycore-based supercomputers, parallel programming models like MPI and OpenMP become more widely used to express various levels of para...
140
click to vote
ICNC
2010
Springer
15 years 2 months ago
2010
Springer
—This paper combines artificial neural networks (ANN), fuzzy optimization and time-series econometric models in one unified framework to form a hybrid intelligent early warning...
115
click to vote
IJCGA
2010
15 years 1 months ago
2010
Symmetry equations are obtained for the rigidity matrix of a bar-joint framework in Rd . These form the basis for a short proof of the FowlerGuest symmetry group generalisation of...
117
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
DPM (Dynamic Power Management) is an effective technique for reducing the energy consumption of embedded systems that is based on migrating to a low power state when possible. Whi...
111
click to vote
ITICSE
2009
ACM
15 years 10 months ago
2009
ACM
The topic of data structures has historically been taught with two major focuses: first, the basic definition and implementation of a small set of basic data structures (e.g. list...