4708 search results - page 683 / 942 » Generating the Structure of Argument |
136
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
157
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
162
click to vote
ISBI
2006
IEEE
16 years 6 months ago
2006
IEEE
Clinical and research neurosurgical studies involving the use of intracranial electroencephalography and cortical stimulation depend critically on accurate localization of electro...
187
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
We describe a system for synchronization and organization of user-contributed content from live music events. We start with a set of short video clips taken at a single event by m...
141
click to vote
WWW
2006
ACM
16 years 6 months ago
2006
ACM
We consider the problem of visualizing the evolution of tags within the Flickr (flickr.com) online image sharing community. Any user of the Flickr service may append a tag to any ...