Sciweavers

5544 search results - page 417 / 1109
» Three Inadequate Models
Sort
View
TREC
2004
15 years 8 months ago
University of Glasgow at TREC 2004: Experiments in Web, Robust, and Terabyte Tracks with Terrier
With our participation in TREC2004, we test Terrier, a modular and scalable Information Retrieval framework, in three tracks. For the mixed query task of the Web track, we employ ...
Vassilis Plachouras, Ben He, Iadh Ounis
CORR
2008
Springer
89views Education» more  CORR 2008»
15 years 7 months ago
One MEMS Design Tool with Maximal Six Design Flows
This paper presents one MEMS design tool with total six design flows, which makes it possible that the MEMS designers are able to choose the most suitable design flow for their sp...
Honglong Chang, Jinghui Xu, Jianbing Xie, Chenglia...
ALIFE
2006
15 years 6 months ago
The Origin of the Eukaryotic Cell Based on Conservation of Existing Interfaces
Current theories about the origin of the eukaryotic cell all assume that during evolution a prokaryotic cell acquired a nucleus. Here, it is shown that a scenario in which the nucl...
Albert D. G. de Roos
ENTCS
2006
139views more  ENTCS 2006»
15 years 6 months ago
Improving the Usability of a Graph Transformation Language
Model transformation tools implemented using graph transformation techniques are often expected to provide high performance. For this reason, in the Graph Rewriting and Transforma...
Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel B...
JSYML
2008
63views more  JSYML 2008»
15 years 6 months ago
Classifying model-theoretic properties
In 2004 Csima, Hirschfeldt, Knight, and Soare [1] showed that a set A T 0 is nonlow2 if and only if A is prime bounding, i.e. for every complete atomic decidable theory T , there i...
Chris J. Conidis