941 search results - page 110 / 189 » Mathematics on the (Semantic) NET |
122
Voted
ICFP
2005
ACM
16 years 17 days ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
144
click to vote
EUROSSC
2009
Springer
15 years 7 months ago
2009
Springer
Geographical information retrieval (GIR) can benefit from context information to adapt the results to a user’s current situation and personal preferences. In this respect, seman...
133
click to vote
ICCV
1999
IEEE
16 years 2 months ago
1999
IEEE
The eikonal equation and variants of it are of significant interest for problems in computer vision and image processing. It is the basis for continuous versions of mathematical m...
134
click to vote
ESWS
2007
Springer
15 years 6 months ago
2007
Springer
Collaborative work environments for scientific knowledge have many applications in research as well as in education. Such systems already exist (e.g. Wikipedia and PlanetMath), b...
96
Voted
NIPS
2007
15 years 2 months ago
2007
Semantic memory refers to our knowledge of facts and relationships between concepts. A successful semantic memory depends on inferring relationships between items that are not exp...