343 search results - page 16 / 69 » Purely Relational FLWORs |
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
KAIS
2006
13 years 7 months ago
2006
Abstract This paper describes a hybrid statistical and knowledge-based inforQ1 mation extraction model, able to extract entities and relations at the sentence level. The model atte...
TASLP
2008
13 years 7 months ago
2008
A hybrid signal-and-link-parametric approach to speech quality measurement for voice-over-Internet protocol (VoIP) communications is described. Connection parameters are used to de...
EOR
2006
13 years 7 months ago
2006
The properties of the barrier F(x) = -log(det(x)), defined over the cone of squares of a Euclidean Jordan algebra, are analyzed using pure algebraic techniques. Furthermore, relat...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— Service robots designed for domestic settings need to navigate in an environment that they have to share with their users. Thus, they have to be able to report their current st...