626 search results - page 96 / 126 » Guiding Agent Learning in Design |
GLVLSI
2009
IEEE
14 years 2 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
IWPC
1998
IEEE
14 years 6 days ago
1998
IEEE
Cognitive science emphasizes the strength of visual formalisms for human learning and problem solving. In software engineering, a clear, visual presentation of a system's arc...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
The increasing integration of education and technology has led to the development of a range of note-taking applications. Our project's goal is to provide empirical data to g...
ICSOC
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We consider an approach to service selection wherein service consumers choose services with desired nonfunctional properties to maximize their utility. A consumer’s uti...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
Most research on auctions assumes that potential bidders have private information about their willingness to pay for the item being auctioned, and that they use this information s...