1817 search results - page 363 / 364 » Forcing and Type Theory |
IPSN
2011
Springer
12 years 9 months ago
2011
Springer
While a number of acoustic localisation systems have been proposed over the last few decades, these have typically either relied on expensive dedicated microphone arrays and works...
ER
2007
Springer
13 years 12 months ago
2007
Springer
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...
STOC
2012
ACM
11 years 8 months ago
2012
ACM
Option contracts are a type of financial derivative that allow investors to hedge risk and speculate on the variation of an asset’s future market price. In short, an option has...
SIGMETRICS
2012
ACM
11 years 8 months ago
2012
ACM
Sampling is crucial for controlling resource consumption by internet traffic flow measurements. Routers use Packet Sampled NetFlow [9], and completed flow records are sampled in...
SMA
2008
ACM
13 years 5 months ago
2008
ACM
In this paper we consider the problem of monitoring an art gallery modeled as a polygon, the edges of which are arcs of curves. We consider two types of guards: edge guards (these...