Sciweavers

1809 search results - page 52 / 362
» Using GDE in Educational Systems
Sort
View
CORR
2011
Springer
115views Education» more  CORR 2011»
14 years 1 months ago
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amra...
CORR
2010
Springer
194views Education» more  CORR 2010»
14 years 6 months ago
An Effective Method of Image Retrieval using Image Mining Techniques
The present research scholars are having keen interest in doing their research activities in the area of Data mining all over the world. Especially, [13]Mining Image data is the o...
A. Kannan, V. Mohan, N. Anbazhagan
CORR
2011
Springer
177views Education» more  CORR 2011»
14 years 1 months ago
A Self-Organized Resource Allocation using Inter-Cell Interference Coordination (ICIC) in Relay-Assisted Cellular Networks
: In a multi-cell scenario, the inter-cell interference (ICI) is detrimental in achieving the intended system performance, in particular for the edge users. There is paucity of wor...
Mahima Mehta, Osianoh Glenn Aliu, Abhay Karandikar...
ACMSE
2011
ACM
13 years 10 months ago
Targeting FPGA-based processors for an implementation-driven compiler construction course
This paper describes the adaptation of a modern compiler construction course to target an FPGA-based hardware platform used throughout our computer science curriculum. One of the ...
D. Brian Larkins, William M. Jones
TCOM
2010
156views more  TCOM 2010»
14 years 4 months ago
Joint Carrier Frequency Offset and Channel Estimation for Uplink MIMO-OFDMA Systems Using Parallel Schmidt Rao-Blackwellized Par
Joint carrier frequency offset (CFO) and channel estimation for uplink MIMO-OFDMA systems over time-varying channels is investigated. To cope with the prohibitive computational co...
Kyeong Jin Kim, Man-On Pun, Ronald A. Iltis