3937 search results - page 485 / 788 » Questioning Ubiquitous Computing |
177
click to vote
LICS
2007
IEEE
16 years 27 days ago
2007
IEEE
Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...
146
click to vote
COCO
2007
Springer
16 years 24 days ago
2007
Springer
We consider the problem of counting the number of spanning trees in planar graphs. We prove tight bounds on the complexity of the problem, both in general and especially in the mo...
168
click to vote
FCT
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The simple intramolecular model for gene assembly in ciliates is particularly interesting because it can predict the correct assembly of all available experimental data, ...
157
click to vote
ICSOC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Service oriented architectures (SOA) are becoming reality in a corporate environment. Rather than pure technology improvements SOA intends to increase manageability and s...
174
click to vote
SCALESPACE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper we investigate a family of partial di erential equations (PDEs) for image processing which can be regarded as isotropic nonlinear di usion with an additiona...