350 search results - page 33 / 70 » What's in a Name |
ICFP
2000
ACM
14 years 2 months ago
2000
ACM
We show that a non-duplicating transformation into Continuation-Passing Style (CPS) has no effect on control-flow analysis, a positive effect on binding-time analysis for tradi...
SEMWEB
2009
Springer
14 years 4 months ago
2009
Springer
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. Howeve...
IJRR
2010
13 years 8 months ago
2010
Continuum robotics has rapidly become a rich and diverse area of research, with many designs and applications demonstrated. Despite this diversity in form and purpose, there exist...
INFOCOM
2011
IEEE
13 years 1 months ago
2011
IEEE
—In this paper, we address a new unexplored problem - what are the optimal patterns to achieve connected coverage in wireless networks with directional antennas. As their name im...
SAT
2009
Springer
14 years 4 months ago
2009
Springer
In this paper we consider the class of boolean formulas in Conjunctive Normal Form (CNF) where for each variable all but at most d occurrences are either positive or negative. This...