Sciweavers

655 search results - page 37 / 131
» Conversationally Relevant Descriptions
Sort
View
WETICE
2005
IEEE
14 years 3 months ago
Towards a formal framework for Choreography
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...
ARITH
2003
IEEE
14 years 3 months ago
The Case for a Redundant Format in Floating Point Arithmetic
This work uses a partially redundant number system as an internal format for floating point arithmetic operations. The redundant number system enables carry free arithmetic opera...
Hossam A. H. Fahmy, Michael J. Flynn
ISIPTA
2003
IEEE
14 years 3 months ago
Inter-Personal Communication of Precise and Imprecise Subjective Probabilities
We analyze communication of uncertainty among individuals as a function of the parties’ preference for modes of communication. We assume that different individuals may prefer pr...
David V. Budescu, Tzur M. Karelitz
CMC
1998
Springer
14 years 2 months ago
Generating Textual Diagrams and Diagrammatic Texts
There are obvious ways in which text and diagrams within a document should be coordinated: for instance, the placement of a diagram might influence the wording of the text. However...
Donia Scott, Richard Power
PPDP
2000
Springer
14 years 1 months ago
A model for comparing the space usage of lazy evaluators
Identifying the source of space faults in functional programs is hard. The problem is compoundedas space usage can vary enormously from one implementation to another. We use a ter...
Adam Bakewell, Colin Runciman