Sciweavers

169 search results - page 2 / 34
» On single valued neutrosophic relations
Sort
View
CORR
2011
Springer
209views Education» more  CORR 2011»
13 years 1 months ago
Close the Gaps: A Learning-while-Doing Algorithm for a Class of Single-Product Revenue Management Problems
In this work, we consider a retailer selling a single product with limited on-hand inventory over a finite selling season. Customer demand arrives according to a Poisson process,...
Zizhuo Wang, Shiming Deng, Yinyu Ye
BTW
2007
Springer
191views Database» more  BTW 2007»
14 years 3 months ago
The Information Integrator: Using Semantic Technology to provide a single view to distributed data
: For the integration of data that resides in autonomous data sources Software AG uses ontologies. Data source ontologies describe the data sources themselves. Business ontologies ...
Jürgen Angele, Michael Gesmann
ICDAR
2005
IEEE
14 years 3 months ago
Using Fuzzy Logic to Analyze Superscript and Subscript Relations in Handwritten Mathematical Expressions
Handwritten mathematical notation contains ambiguities of various kinds. Here we focus on ambiguity in spatial relationships; in particular, we use fuzzy logic to treat ambiguity ...
Ling Zhang, Dorothea Blostein, Richard Zanibbi
ATVA
2004
Springer
135views Hardware» more  ATVA 2004»
14 years 3 months ago
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
Data races do not cover all kinds of concurrency errors. This paper presents a data-ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
Cyrille Artho, Klaus Havelund, Armin Biere
CPAIOR
2007
Springer
14 years 3 months ago
On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint
A linear pseudo-Boolean constraint (LPB) is an expression of the form a1 · 1 + . . . + am · m ≥ d, where each i is a literal (it assumes the value 1 or 0 depending on whether a...
Jan-Georg Smaus