288 search results - page 13 / 58 » An algebraic generalization of Kripke structures |
ACL
2001
13 years 9 months ago
2001
We develop a framework for formalizing semantic construction within grammars expressed in typed feature structure logics, including HPSG. The approach provides an alternative to t...
ECCC
2007
13 years 7 months ago
2007
In cryptography, there has been tremendous success in building primitives out of homomorphic semantically-secure encryption schemes, using homomorphic properties in a blackbox way...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— In this paper we formulate the “generalized inverse kinematics problem” for a spatial serial chain, where the goal is to determine values for structural parameters as well ...
ITS
2000
Springer
13 years 11 months ago
2000
Springer
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
ICFP
2012
ACM
11 years 10 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...