1115 search results - page 94 / 223 » Separating Shape Graphs |
82
Voted
ICMCS
1999
IEEE
15 years 5 months ago
1999
IEEE
We present a comprehensive report of our work in the design and implementation of systems that combine holography with haptic feedback. Two separate holo-haptic systems are descri...
109
Voted
KES
1998
Springer
15 years 5 months ago
1998
Springer
This paper describes a new technique for passive ranging which is of special interest in areas such as covert nap-of-the-earth helicopter flight and spacecraft landing. This techn...
98
Voted
DAS
2010
Springer
15 years 2 months ago
2010
Springer
Separating machine printed text and handwriting from overlapping text is a challenging problem in the document analysis field and no reliable algorithms have been developed thus f...
124
Voted
JMLR
2010
14 years 7 months ago
2010
Directed acyclic graph (DAG) models are popular tools for describing causal relationships and for guiding attempts to learn them from data. In particular, they appear to supply a ...
120
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...