Sciweavers

2613 search results - page 67 / 523
» Active Software Artifacts
Sort
View
CAV
2005
Springer
173views Hardware» more  CAV 2005»
15 years 5 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
HT
2010
ACM
15 years 5 months ago
Discovery of information disseminators and receptors on online social media
Today, there is significant sharing of information artifacts among users on various social media sites, including Digg, Twitter and Flickr. An interesting consequence of such ric...
Munmun De Choudhury
SIGSOFT
2000
ACM
15 years 4 months ago
Integrating active information delivery and reuse repository systems
Although software reuse can improve both the quality and productivity of software development, it will not do so until software developers stop believing that it is not worth thei...
Yunwen Ye, Gerhard Fischer, Brent Reeves
ML
2007
ACM
156views Machine Learning» more  ML 2007»
14 years 11 months ago
Active learning for logistic regression: an evaluation
Which active learning methods can we expect to yield good performance in learning binary and multi-category logistic regression classifiers? Addressing this question is a natural ...
Andrew I. Schein, Lyle H. Ungar
JOCN
2011
94views more  JOCN 2011»
14 years 2 months ago
Differential Activity for Animals and Manipulable Objects in the Anterior Temporal Lobes
■ Neuropsychological evidence has highlighted the role of the anterior temporal lobes in the processing of conceptual knowledge. That putative role is only beginning to be inves...
Stefano Anzellotti, Bradford Z. Mahon, Jens Schwar...