Sciweavers

1557 search results - page 306 / 312
» Programming up to Congruence
Sort
View
JNCA
2007
154views more  JNCA 2007»
14 years 10 months ago
Knowledge-based multimedia adaptation for ubiquitous multimedia consumption
Intelligent, server-side adaptation of multimedia resources is becoming increasingly important and challenging for two reasons. First, the market continuously brings up new mobile...
Dietmar Jannach, Klaus Leopold
AI
2002
Springer
14 years 10 months ago
Algorithm for optimal winner determination in combinatorial auctions
Combinatorial auctions, that is, auctions where bidders can bid on combinations of items, tend to lead to more efficient allocations than traditional auction mechanisms in multi-i...
Tuomas Sandholm
BMCBI
2004
200views more  BMCBI 2004»
14 years 10 months ago
ABC: software for interactive browsing of genomic multiple sequence alignment data
Background: Alignment and comparison of related genome sequences is a powerful method to identify regions likely to contain functional elements. Such analyses are data intensive, ...
Gregory M. Cooper, Senthil A. G. Singaravelu, Aren...
BMCBI
2004
211views more  BMCBI 2004»
14 years 10 months ago
GenomeViz: visualizing microbial genomes
Background: An increasing number of microbial genomes are being sequenced and deposited in public databases. In addition, several closely related strains are also being sequenced ...
Rohit Ghai, Torsten Hain, Trinad Chakraborty
BSL
2004
110views more  BSL 2004»
14 years 10 months ago
Notes on quasiminimality and excellence
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...
John T. Baldwin