Sciweavers

2564 search results - page 293 / 513
» Witness sets of projections
Sort
View
SIGECOM
2009
ACM
111views ECommerce» more  SIGECOM 2009»
16 years 12 days ago
A qualitative vickrey auction
Restricting the preferences of the agents by assuming that their utility functions linearly depend on a payment allows for the positive results of the Vickrey auction and the Vick...
Paul Harrenstein, Mathijs de Weerdt, Vincent Conit...
BMCBI
2006
91views more  BMCBI 2006»
15 years 6 months ago
PeanutMap: an online genome database for comparative molecular maps of peanut
Background: Molecular maps have been developed for many species, and are of particular importance for varietal development and comparative genomics. However, despite the existence...
Arun M. Jesubatham, Mark D. Burow
JAR
2006
236views more  JAR 2006»
15 years 5 months ago
Deciding Boolean Algebra with Presburger Arithmetic
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard
ACTA
2000
82views more  ACTA 2000»
15 years 5 months ago
Semantics analysis through elementary meanings
Thesaurus is a collection of words classified according to some relatedness measures among them. In this paper, we lay the theoretical foundations of thesaurus construction through...
Youichi Kobuchi, Takashi Saito, Hidenobu Nunome
BMCBI
2008
146views more  BMCBI 2008»
15 years 6 months ago
EST Express: PHP/MySQL based automated annotation of ESTs from expression libraries
Background: Several biological techniques result in the acquisition of functional sets of cDNAs that must be sequenced and analyzed. The emergence of redundant databases such as U...
Robin P. Smith, William J. Buchser, Marcus B. Lemm...