Sciweavers

6527 search results - page 45 / 1306
» On Typing Information Flow
Sort
View
PADL
2004
Springer
14 years 29 days ago
Improved Compilation of Prolog to C Using Moded Types and Determinism Information
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
José F. Morales, Manuel Carro, Manuel V. He...
COLING
2000
13 years 9 months ago
Learning Semantic-Level Information Extraction Rules by Type-Oriented ILP
This paper describes an approach to using semantic rcprcsentations for learning information extraction (IE) rules by a type-oriented inductire logic programming (ILl)) system. NLP...
Yutaka Sasaki, Yoshihiro Matsuo
ICPR
2004
IEEE
14 years 8 months ago
Evaluation of Three Optical Flow-Based Observation Models for Tracking
In this paper, we study the use of optical flow as a characteristic for tracking. We analyze the behavior of three flowbased observation models for particle filter algorithms, and...
José M. Fuertes, Manuel J. Lucena, Nicolas ...
SAC
2006
ACM
14 years 1 months ago
Aspect-specification based on structural type information
Stefan Hanenberg, Mohammed Al-Mansari, Rainer Unla...