1042 search results - page 131 / 209 » Failing First: An Update |
119
Voted
KDD
2008
ACM
16 years 1 months ago
2008
ACM
Attributed graphs are increasingly more common in many application domains such as chemistry, biology and text processing. A central issue in graph mining is how to collect inform...
CHI
2008
ACM
16 years 1 months ago
2008
ACM
A well-known security and identification problem involves the creation of secure but usable identification and authentication tools that the user is fully motivated to adopt. We d...
82
Voted
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
In floorplan design, it is common that a designer will want to control the positions of some modules in the final packing for various purposes like data path alignment, I/O connec...
214
click to vote
POPL
2007
ACM
16 years 29 days ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
182
Voted
POPL
2005
ACM
16 years 29 days ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...