Sciweavers

4903 search results - page 849 / 981
» The Set Covering Machine
Sort
View
CGO
2004
IEEE
14 years 29 days ago
Using Dynamic Binary Translation to Fuse Dependent Instructions
Instruction scheduling hardware can be simplified and easily pipelined if pairs of dependent instructions are fused so they share a single instruction scheduling slot. We study an...
Shiliang Hu, James E. Smith
ASIAN
2006
Springer
118views Algorithms» more  ASIAN 2006»
14 years 29 days ago
An Approach to Formal Verification of Arithmetic Functions in Assembly
Abstract. It is customary to write performance-critical parts of arithmetic functions in assembly: this enables finely-tuned algorithms that use specialized processor instructions....
Reynald Affeldt, Nicolas Marti
ATAL
2006
Springer
14 years 29 days ago
A computer-supported cooperative learning system with multiagent intelligence
In this paper, we describe an innovative infrastructure to support student participation and collaboration and help the instructor manage large or distance classrooms using multia...
Leen-Kiat Soh, Nobel Khandaker, Xuliu Liu, Hong Ji...
CLEF
2006
Springer
14 years 29 days ago
Amharic-English Information Retrieval
We describe Amharic-English cross lingual information retrieval experiments in the adhoc bilingual tracs of the CLEF 2006. The query analysis is supported by morphological analysi...
Atelach Alemu Argaw, Lars Asker
COMPLIFE
2006
Springer
14 years 29 days ago
Relational Subgroup Discovery for Descriptive Analysis of Microarray Data
Abstract. This paper presents a method that uses gene ontologies, together with the paradigm of relational subgroup discovery, to help find description of groups of genes different...
Igor Trajkovski, Filip Zelezný, Jakub Tolar...