754 search results - page 92 / 151 » Automated Model Selection Using Context-Dependent Behaviors |
119
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
170
click to vote
AIED
2011
Springer
14 years 7 months ago
2011
Springer
Both human and automated tutors must infer what a student knows and plan future actions to maximize learning. Though substantial research has been done on tracking and modeling stu...
153
click to vote
DAC
2010
ACM
15 years 2 months ago
2010
ACM
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
124
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...
149
click to vote
WSDM
2012
ACM
2012
ACM
Large-scale analysis of individual and task differences in search result page examination strategies
13 years 11 months ago
Understanding the impact of individual and task differences on search result page examination strategies is important in developing improved search engines. Characterizing these e...