3787 search results - page 646 / 758 » The Use of Agents Techniques on Intelligent Tutoring Systems |
118
Voted
WIDM
2004
ACM
15 years 7 months ago
2004
ACM
Organising large-scale Web information retrieval systems into hierarchies of topic-specific search resources can improve both the quality of results and the efficient use of com...
104
click to vote
CEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
107
click to vote
SAMOS
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we use the CoDeL hardware design platform to analyze the potential and performance impact of power gating individual registers. For each register, we examine the per...
89
Voted
DAC
2005
ACM
16 years 2 months ago
2005
ACM
Since across-chip interconnect delays can exceed a clock cycle in nanometer technologies, it has become essential in high performance designs to add flip-flops on wires with multi...
110
Voted
KDD
2007
ACM
16 years 2 months ago
2007
ACM
In many practical applications, one is interested in generating a ranked list of items using information mined from continuous streams of data. For example, in the context of comp...