389 search results - page 71 / 78 » Some natural decision problems in automatic graphs |
OSDI
2006
ACM
14 years 7 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
ENTCS
2006
13 years 6 months ago
2006
While a lot of progress has been made in improving analyses and tools that aid software development, less effort has been spent on studying how such tools are commonly used in pra...
KCAP
2005
ACM
14 years 8 days ago
2005
ACM
The need for collaboration arises in many activities required for effective problem solving and decision making. We are developing Angler, a web-services tool that supports collab...
ICMI
2009
Springer
14 years 1 months ago
2009
Springer
Social interactions unfold over time, at multiple time scales, and can be observed through multiple sensory modalities. In this paper, we propose a machine learning framework for ...
SOUPS
2006
ACM
14 years 20 days ago
2006
ACM
The usability of access control mechanisms in modern distributed systems has been widely criticized but little studied. In this paper, we carefully examine one such widely deploye...