Sciweavers

4211 search results - page 271 / 843
» Types as Abstract Interpretations
Sort
View
BMCBI
2006
104views more  BMCBI 2006»
15 years 6 months ago
GNU polyxmass: a software framework for mass spectrometric simulations of linear (bio-)polymeric analytes
Background: Nowadays, a variety of (bio-)polymers can be analyzed by mass spectrometry. The detailed interpretation of the spectra requires a huge number of "hypothesis cycle...
Filippo Rusconi
DSS
2007
98views more  DSS 2007»
15 years 6 months ago
Modelling uncertain positive and negative reasons in decision aiding
The use of positive and negative reasons in inference and decision aiding is a recurrent issue of investigation as far as the type of formal language to use within a DSS is concer...
Meltem Öztürk, Alexis Tsoukiàs
JGAA
2006
63views more  JGAA 2006»
15 years 6 months ago
A Factor-Two Approximation Algorithm for Two-Dimensional Phase Unwrapping
Two-dimensional phase unwrapping is the problem of deducing unambiguous "phase" from values known only modulo 2. Many authors agree that the objective of phase unwrappin...
Reuven Bar-Yehuda, Irad Yavneh
CORR
1998
Springer
66views Education» more  CORR 1998»
15 years 6 months ago
Textual Economy through Close Coupling of Syntax and Semantics
We focus on the productionof efficient descriptionsof objects, actions and events. We define a type of efficiency, textualeconomy, thatexploitsthe hearer’s recognitionof infe...
Matthew Stone, Bonnie L. Webber
PUC
2002
61views more  PUC 2002»
15 years 6 months ago
Perceived Similarities and Preferences for Consumer Electronics Products
: A Swedish sample of 36 people judged the similarities of 20 objects, primarily information appliance products and services sometimes called consumer electronics, but also some co...
B. N. Schenkman