Sciweavers

1818 search results - page 98 / 364
» The Many Faces of a Translation
Sort
View
101
Voted
PPDP
2004
Springer
15 years 6 months ago
Model checking object petri nets in prolog
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
Berndt Farwer, Michael Leuschel
ICFP
1999
ACM
15 years 5 months ago
Representing Java Classes in a Typed Intermediate Language
We propose a conservative extension of the polymorphic lambda calculus (A5B ) as an intermediate language for compiling languages with name-based class and interface hierarchies. ...
Christopher League, Zhong Shao, Valery Trifonov
EDBTW
2006
Springer
15 years 4 months ago
Implementing a Linguistic Query Language for Historic Texts
Abstract. We describe design and implementation of the linguistic query language DDDquery. This language aims at querying a large linguistic database storing a corpus of richly ann...
Lukas Faulstich, Ulf Leser, Thorsten Vitt
111
Voted
CLEF
2006
Springer
15 years 2 months ago
Experiments for the Cross Language Speech Retrieval Task at CLEF 2006
This paper presents the second participation of the University of Ottawa group in the Cross-Language Speech Retrieval (CL-SR) task at CLEF 2006. We present the results of the submi...
Muath Alzghool, Diana Zaiu Inkpen
91
Voted
RA
2003
107views Robotics» more  RA 2003»
15 years 2 months ago
Non-commensurate Manipulator Jacobian
: The Jacobian matrix of a robot manipulator is central to the analysis, kinematics, dynamics, and control of robot manipulators. In many instances, the Jacobian and its inverse or...
Eric M. Schwartz, Rachid Manseur, Keith L. Doty