925 search results - page 122 / 185 » Connectivity on Complete Lattices |
264
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
Scribble is a system for writing library documentation, user guides, and tutorials. It builds on PLT Scheme's technology for language extension, and at its heart is a new app...
163
click to vote
MOBIHOC
2009
ACM
16 years 6 months ago
2009
ACM
Femto cells are a cost-effective means of providing ubiquitous connectivity in future broadband wireless networks. While their primary purpose has been to improve coverage in curr...
164
click to vote
CVPR
2009
IEEE
16 years 23 days ago
2009
IEEE
We propose a biologically inspired framework for visual tracking based on discriminant center surround saliency. At each frame, discrimination of the target from the background is...
156
click to vote
PLDI
2009
ACM
16 years 23 days ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
130
click to vote
HYBRID
2009
Springer
16 years 23 days ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...