50 search results - page 10 / 10 » Visualization Techniques for Topic Model Checking |
EMSOFT
2011
Springer
12 years 5 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
WWW
2005
ACM
14 years 6 months ago
2005
ACM
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
SOFTVIS
2003
ACM
13 years 10 months ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...
SIGIR
2010
ACM
13 years 3 months ago
2010
ACM
After two successful years at SIGIR in 2007 and 2008, the third workshop on Searching Spontaneous Conversational Speech (SSCS 2009) was held conjunction with the ACM Multimedia 20...
WWW
2011
ACM
13 years 7 days ago
2011
ACM
In this paper, we study the problem of transfer learning from text to images in the context of network data in which link based bridges are available to transfer the knowledge bet...