Sciweavers

4767 search results - page 625 / 954
» Moving between Contexts
Sort
View
IGPL
2010
109views more  IGPL 2010»
15 years 5 months ago
Deductive coherence and norm adoption
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...
Sindhu Joseph, Carles Sierra, W. Marco Schorlemmer...
IJCCBS
2010
105views more  IJCCBS 2010»
15 years 5 months ago
Software safety: relating software assurance and software integrity
: The overall safety integrity of a safety critical system, comprising both software and hardware, is typically specified quantitatively, e.g., in terms of failure rates. However, ...
Ibrahim Habli, Richard Hawkins, Tim Kelly
ISVD
2010
IEEE
15 years 5 months ago
Alpha Shape Topology of the Cosmic Web
—We study the topology of the Megaparsec Cosmic Web on the basis of the Alpha Shapes of the galaxy distribution. The simplicial complexes of the alpha shapes are used to determin...
Rien van de Weygaert, Erwin Platen, Gert Vegter, B...
PERSUASIVE
2010
Springer
15 years 5 months ago
Personality and Persuasive Technology: An Exploratory Study on Health-Promoting Mobile Applications
Though a variety of persuasive health applications have been designed with a preventive standpoint toward diseases in mind, many have been designed largely for a general audience. ...
Sajanee Halko, Julie A. Kientz
SUM
2010
Springer
15 years 5 months ago
A Structure-Based Similarity Spreading Approach for Ontology Matching
Most of the frequently used ontology mapping methods to date are based on linguistic information implied in ontologies. However, same concepts in different ontologies can represen...
Ying Wang, Weiru Liu, David A. Bell