Sciweavers

11063 search results - page 289 / 2213
» On the existence of universal models
Sort
View
JSYML
2010
78views more  JSYML 2010»
15 years 1 months ago
A characterization of the 0-basis homogeneous bounding degrees
We say a countable model A has a 0-basis if the types realized in A are uniformly computable. We say A has a (d-)decidable copy if there exists a model B = A such that the element...
Karen Lange
SIGIR
2005
ACM
16 years 8 days ago
An exploration of axiomatic approaches to information retrieval
Existing retrieval models generally do not offer any guarantee for optimal retrieval performance. Indeed, it is even difficult, if not impossible, to predict a model’s empirica...
Hui Fang, ChengXiang Zhai
IEE
2000
73views more  IEE 2000»
15 years 6 months ago
Component-based perspective on software mismatch detection and resolution
: Existing approaches to modelling software systems all too often neglect the issue of component-mismatch identi
Alexander Egyed, Nenad Medvidovic, Cristina Gacek
ICS
2010
Tsinghua U.
16 years 4 months ago
Market Equilibrium under Separable, Piecewise-Linear, Concave Utilities
We consider Fisher and Arrow-Debreu markets under additively-separable, piecewise-linear, concave utility functions, and obtain the following results: ? For both market models, if...
Vijay V. Vazirani, Mihalis Yannakakis
WEA
2009
Springer
165views Algorithms» more  WEA 2009»
15 years 11 months ago
On Computational Models for Flash Memory Devices
Flash memory-based solid-state disks are fast becoming the dominant form of end-user storage devices, partly even replacing the traditional hard-disks. Existing two-level memory hi...
Deepak Ajwani, Andreas Beckmann, Riko Jacob, Ulric...