Sciweavers

6794 search results - page 643 / 1359
» Semantics of Visual Languages
Sort
View
307
Voted
ICLP
2009
Springer
16 years 8 months ago
Generative Modeling by PRISM
PRISM is a probabilistic extension of Prolog. It is a high level language for probabilistic modeling capable of learning statistical parameters from observed data. After reviewing ...
Taisuke Sato
POPL
2007
ACM
16 years 7 months ago
A very modal model of a modern, major, general type system
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
Andrew W. Appel, Christopher D. Richards, Jé...
PODS
2004
ACM
117views Database» more  PODS 2004»
16 years 7 months ago
Conditional XPath, the First Order Complete XPath Dialect
XPath is the W3C?standard node addressing language for XML documents. XPath is still under development and its technical aspects are intensively studied. What is missing at presen...
Maarten Marx
DISCEX
2003
IEEE
16 years 16 days ago
A Role-based Trust-management Framework
The RT Role-based Trust-management framework provides policy language, semantics, deduction engine, and pragmatic features such as application domain specification documents that...
Ninghui Li, John C. Mitchell
IRAL
2003
ACM
16 years 15 days ago
A sentence reduction using syntax control
This paper present a method based on the behavior of nonnative speaker for reduction sentence in foreign language. We demonstrate an algorithm using semantic information in order ...
Minh Le Nguyen, Susumu Horiguchi