Sciweavers

2135 search results - page 426 / 427
» An Operational Semantics for JavaScript
Sort
View
145
Voted
ICDE
2010
IEEE
220views Database» more  ICDE 2010»
15 years 1 months ago
Profiling linked open data with ProLOD
Linked open data (LOD), as provided by a quickly growing number of sources constitutes a wealth of easily accessible information. However, this data is not easy to understand. It i...
Christoph Böhm, Felix Naumann, Ziawasch Abedj...
116
Voted
AMSTERDAM
2009
15 years 1 months ago
Modified Numerals as Post-Suppositions
The paper provides a compositional account of cumulative readings with non-increasing modified numerals (aka van Benthem's puzzle), e.g., Exactly three boys saw exactly five m...
Adrian Brasoveanu
151
Voted
IPPS
2010
IEEE
15 years 25 days ago
Designing high-performance and resilient message passing on InfiniBand
Abstract--Clusters featuring the InfiniBand interconnect are continuing to scale. As an example, the "Ranger" system at the Texas Advanced Computing Center (TACC) include...
Matthew J. Koop, Pavel Shamis, Ishai Rabinovitz, D...
206
Voted
SLOGICA
2011
14 years 10 months ago
Logics for Qualitative Inductive Generalization
The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attentio...
Diderik Batens
117
Voted
SYNTHESE
2011
239views more  SYNTHESE 2011»
14 years 10 months ago
Carnap on theoretical terms: structuralism without metaphysics
: Both realists and instrumentalists have found it difficult to understand (much less accept) Carnap’s developed view on theoretical terms, which attempts to stake out a neutral ...
Michael Friedman