677 search results - page 89 / 136 » Dependent Types from Counterexamples |
ICDS
2009
IEEE
15 years 4 months ago
2009
IEEE
—In a wireless sensor network application for tracking multiple mobile targets, large amounts of sensing data can be generated by a number of sensors. These data must be controll...
SP
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we study the degree to which a genomic string, Q, leaks details about itself any time it engages in comparison protocols with a genomic querier, Bob, even if those ...
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we consider multi-objective evolutionary algorithms for the Vertex Cover problem in the context of parameterized complexity. We relate the runtime of our algorithms...
103
click to vote
MDM
2009
Springer
15 years 4 months ago
2009
Springer
Indoor navigation highly depends on context and requires flexible data structures to support the many use cases and configurations. For example, an indoor navigation system must c...
DSN
2008
IEEE
15 years 4 months ago
2008
IEEE
The long-term availability of data stored in a file system depends on how well it safeguards on-disk pointers used to access the data. Ideally, a system would correct all pointer...