143 search results - page 15 / 29 » Semantic Grep: Regular Expressions Relational Abstraction |
AISC
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical n...
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. From a theoretical point of view, the Semantic Web is understood in terms of a stack with RDF being one of its layers. A Semantic Web application operates on the common d...
EWMF
2005
Springer
14 years 2 months ago
2005
Springer
Web personalization is the process of customizing a web site to the needs of each specific user or set of users. Personalization of a web site may be performed by the provision of ...
ESOP
2011
Springer
13 years 2 days ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
SCIE
1997
Springer
14 years 22 days ago
1997
Springer
Abstract. The task of information extraction can be seen as a problem of semantic matching between a user-defined template and a piece of information written in natural language. T...