Sciweavers

58 search results - page 8 / 12
» Weakly maximal decidable structures
Sort
View
124
Voted
JSYML
2010
107views more  JSYML 2010»
15 years 1 months ago
A proof of completeness for continuous first-order logic
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
Arthur Paul Pedersen, Itay Ben-Yaacov
117
Voted
WINE
2007
Springer
191views Economy» more  WINE 2007»
15 years 8 months ago
The Importance of Network Topology in Local Contribution Games
We consider a model of content contribution in peer-to-peer networks with linear quadratic payoffs and very general interaction patterns. We find that Nash equilibria of this gam...
Jacomo Corbo, Antoni Calvó-Armengol, David ...
106
Voted
IPM
2007
101views more  IPM 2007»
15 years 2 months ago
Decisions in thesaurus construction and use
A thesaurus and an ontology provide a set of structured terms, phrases, and metadata, often in a hierarchical arrangement, that may be used to index, search, and mine documents. W...
Robert M. Losee
ESCIENCE
2006
IEEE
15 years 6 months ago
Designing Workflow Components for e-Science
In this paper we present a general domain for the analysis of workflows and workflow components based on the notion of a collection of Turing machines sharing a set of tapes. We s...
Frank Terpstra, Pieter W. Adriaans
125
Voted
ISDA
2010
IEEE
15 years 15 days ago
Detecting anomalies in spatiotemporal data using genetic algorithms with fuzzy community membership
A genetic algorithm is combined with two variants of the modularity (Q) network analysis metric to examine a substantial amount fisheries catch data. The data set produces one of t...
Garnett Carl Wilson, Simon Harding, Orland Hoeber,...