6800 search results - page 556 / 1360 » Testing with Functions as Specifications |
138
click to vote
ISBI
2008
IEEE
16 years 8 months ago
2008
IEEE
Change detection is a critical task in the diagnosis of many slowly evolving pathologies. This paper describes an approach that semi-automatically performs this task using longitu...
176
click to vote
CHI
2009
ACM
16 years 8 months ago
2009
ACM
DASHlink is a public NASA research collaboration website. Web 2.0 style content generation and social software technologies along with a communitymoderated posting policy make it ...
192
click to vote
PERCOM
2009
ACM
16 years 8 months ago
2009
ACM
Many missions are deemed dangerous or impractical to perform by humans, but can use collaborating, self-managing Unmanned Autonomous Vehicles (UAVs) which adapt their behaviour to ...
204
click to vote
CHI
2008
ACM
16 years 8 months ago
2008
ACM
Virtual worlds are typically designed to recreate the familiar physical world, both in the design of the spaces and the ways that people interact within them. In this paper we des...
176
click to vote
CHI
2007
ACM
16 years 8 months ago
2007
ACM
Can a set of articulated and tested methodologies be created whose endpoint is the reliable capacity for taking activist social themes into account? In this paper we explore a var...