Sciweavers

6527 search results - page 45 / 1306
» On Typing Information Flow
Sort
View
135
Voted
PADL
2004
Springer
15 years 9 months 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
15 years 5 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
141
Voted
ICPR
2004
IEEE
16 years 5 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 ...
67
Voted
SAC
2006
ACM
15 years 10 months ago
Aspect-specification based on structural type information
Stefan Hanenberg, Mohammed Al-Mansari, Rainer Unla...