26354 search results - page 5032 / 5271 » How we refactor, and how we know it |
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
141
click to vote
SIGCOMM
2005
ACM
15 years 7 months ago
2005
ACM
We consider wireless LANs such as IEEE 802.11 operating in the unlicensed radio spectrum. While their nominal bit rates have increased considerably, the MAC layer remains practica...
133
click to vote
SODA
2012
ACM
13 years 4 months ago
2012
ACM
We study the role that parallelism plays in time complexariants of Winfree’s abstract Tile Assembly Model (aTAM), a model of molecular algorithmic self-assembly. In the “hiera...
126
click to vote
ECCV
2002
Springer
16 years 3 months ago
2002
Springer
Estimating geometric structure from uncalibrated images accurately enough for high quality rendering is difficult. We present a method where only coarse geometric structure is trac...
138
click to vote
ICDM
2009
IEEE
15 years 8 months ago
2009
IEEE
—Typical information extraction (IE) systems can be seen as tasks assigning labels to words in a natural language sequence. The performance is restricted by the availability of l...