1648 search results - page 40 / 330 » Structuring namespace descriptions |
166
click to vote
FOMI
2008
15 years 4 months ago
2008
This work focusses on bridging between folksonomies, which provide social but mainly flat and unstructured metadata on web resources, and semantic web ontologies, which instead des...
130
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
121
click to vote
JBI
2007
15 years 3 months ago
2007
In this case study, we describe a method that has potential to provide systematic support for public health information management. Public health agencies depend on specialized in...
ACL
2001
15 years 4 months ago
2001
For ambiguous sentences, traditional semantics construction produces large numbers of higher-order formulas, which must then be -reduced individually. Underspecified versions can ...
125
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
We present a general scheme for virtualizing main memory errorcorrection mechanisms, which map redundant information needed to correct errors into the memory namespace itself. We ...