Sciweavers

3717 search results - page 342 / 744
» Representing Multiple Theories
Sort
View
183
Voted
CSL
2006
Springer
15 years 10 months ago
Game Quantification on Automatic Structures and Hierarchical Model Checking Games
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
Lukasz Kaiser
BMCBI
2010
95views more  BMCBI 2010»
15 years 7 months ago
Spatio-structural granularity of biological material entities
Background: With the continuously increasing demands on knowledge- and data-management that databases have to meet, ontologies and the theories of granularity they use become more...
Lars Vogt
JSAC
2010
135views more  JSAC 2010»
15 years 5 months ago
Provisioning mission-critical telerobotic control systems over internet backbone networks with essentially-perfect QoS
—Over the next decades, the Internet will evolve to support increasingly complex mission-critical services such as telerobotically controlled surgery. The world’s first telero...
T. H. Szymanski, D. Gilbert
220
Voted
CORR
2011
Springer
202views Education» more  CORR 2011»
15 years 1 months ago
Multi-skill Collaborative Teams based on Densest Subgraphs
We consider the problem of identifying a team of skilled individuals for collaboration, in the presence of a social network. Each node in the input social network may be an expert...
Amita Gajewar, Atish Das Sarma
IJACDT
2011
125views more  IJACDT 2011»
14 years 10 months ago
Becoming Creative through Self Observation: A (Second Order) Cybernetic Learning Strategy for the Metaverse
This study wishes to describe some of the key components of an art educational domain entitled ground<c>, which is being developed specifically for three dimensional online ...
Elif E. Ayiter