Sciweavers

6599 search results - page 12 / 1320
» Towards a Theory of Information
Sort
View
130
Voted
PARA
2004
Springer
15 years 7 months ago
Automatic Derivation of Linear Algebra Algorithms with Application to Control Theory
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
Paolo Bientinesi, Sergey Kolos, Robert A. van de G...
ARTMED
2006
80views more  ARTMED 2006»
15 years 1 months ago
A formal theory for spatial representation and reasoning in biomedical ontologies
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...
Maureen Donnelly, Thomas Bittner, Cornelius Rosse
JOLLI
2010
142views more  JOLLI 2010»
15 years 9 days ago
Towards a Type-Theoretical Account of Lexical Semantics
After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montaguestyle sema...
Christian Bassac, Bruno Mery, Christian Retor&eacu...
GISCIENCE
2008
Springer
145views GIS» more  GISCIENCE 2008»
15 years 3 months ago
Similarity-Based Information Retrieval and Its Role within Spatial Data Infrastructures
While similarity has gained in importance in research about information retrieval on the (geospatial) semantic Web, information retrieval paradigms and their integration into exist...
Krzysztof Janowicz, Marc Wilkes, Michael Lutz
HCI
2007
15 years 3 months ago
Aspects of Augmented Social Cognition: Social Information Foraging and Social Search
In this paper, we summarized recent work in modeling how users socially forage and search for information. One way to bridge between different communities of users is to diversify ...
Ed Huai-hsin Chi, Peter Pirolli, Shyong K. Lam