1076 search results - page 120 / 216 » Operations on proofs and labels |
ECIR
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. A major problem encountered by text clustering practitioners is the difficulty of determining a priori which is the optimal text representation and clustering technique f...
JALC
2006
13 years 9 months ago
2006
Minimal parallelism was recently introduced [3] as a way of using the rules of a P system: from each set of applicable rules associated to a membrane, at least one rule must be ap...
ENTCS
2007
13 years 9 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
ENTCS
2007
13 years 9 months ago
2007
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
JCM
2007
13 years 8 months ago
2007
—OVPN over IP/GMPLS over DWDM technology with QoS assurances is considered as a promising approach for the next generation OVPN. In this paper, we suggest a multicast OLSP (Optic...