6978 search results - page 1271 / 1396 » On Proofs in System P |
3DIM
2003
IEEE
14 years 24 days ago
2003
IEEE
In this paper we present an efficient and general approach to computing and integrating 3D distance fields directly from multiple range images. We compute normal and confidence va...
ESOP
2000
Springer
14 years 23 days ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...
ICALP
2000
Springer
14 years 22 days ago
2000
Springer
Message Sequence Charts (MSCs) are an attractive visual formalism widely used to capture system requirements during the early design stages in domains such as telecommunication sof...
NGC
2000
Springer
14 years 22 days ago
2000
Springer
Replication is known to offer high availability in the presence of failures. This paper considers the case of a client making invocations on a group of replicated servers. It iden...
ER
1997
Springer
14 years 21 days ago
1997
Springer
Development of today's advanced applications is increasingly being accomplished using multi-faceted modeling. For example, the areas of simulation and workflow modeling genera...