4488 search results - page 502 / 898 » Properties of NP-Complete Sets |
226
click to vote
IPSN
2011
Springer
14 years 11 months ago
2011
Springer
In a sensor network there are many paths between a source and a destination. An efficient method to explore and navigate in the ‘path space’ can help many important routing p...
276
click to vote
KCAP
2011
ACM
14 years 10 months ago
2011
ACM
Some discourse structures such as enumerative structures have typographical, punctuational and laying out characteristics which (1) make them easily identifiable and (2) convey hi...
244
click to vote
PLDI
2011
ACM
14 years 10 months ago
2011
ACM
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in “regular...
315
click to vote
PLPV
2011
ACM
14 years 10 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
207
click to vote
SIGMOD
2011
ACM
14 years 10 months ago
2011
ACM
The widespread adoption of the Resource Description Framework (RDF) for the representation of both open web and enterprise data is the driving force behind the increasing research...