669 search results - page 109 / 134 » Active learning for directed exploration of complex systems |
ICSE
2007
IEEE-ACM
14 years 28 days ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
CIKM
2009
Springer
14 years 1 months ago
2009
Springer
Complex network analysis is a growing research area in a wide variety of domains and has recently become closely associated with data, text and web mining. One of the most active ...
HICSS
2005
IEEE
14 years 11 days ago
2005
IEEE
Evaluating the usability of an application is a crucial activity in systems development projects. It is often done collaboratively, involving groups of current or future users, us...
CIKM
2010
Springer
13 years 4 months ago
2010
Springer
Influence is a complex and subtle force that governs the dynamics of social networks as well as the behaviors of involved users. Understanding influence can benefit various applic...
WWW
2008
ACM
14 years 7 months ago
2008
ACM
Motivated by several marketplace applications on rapidly growing online social networks, we study the problem of efficient offline matching algorithms for online exchange markets....