4325 search results - page 227 / 865 » Incremental computation with names |
160
click to vote
KIVS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract: The document will give a brief overview of the Presence and Availability -specification in general, protocols used in the IP Multimedia Subsystem - namely SIP and Diamet...
189
click to vote
PARA
2004
Springer
15 years 12 months ago
2004
Springer
Large and sparse rational eigenproblems where the rational term is of low rank k arise in vibrations of fluid–solid structures and of plates with elastically attached loads. Exp...
187
click to vote
SIBGRAPI
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a simple and robust algorithm for estimating the local geometric properties of intersection curves, namely the tangent, normal, binormal, curvature and torsion ...
183
click to vote
EURONGI
2006
Springer
15 years 10 months ago
2006
Springer
This is a framework for resource allocation in a heterogeneous system composed of various access networks, for instance Third Generation wireless networks (3G) and WLAN, in the pre...
183
click to vote
FOSAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. There is great interest in applying nominal calculi--computational formalisms that include dynamic name generation--to the problems of programming, specifying, and verify...