Sciweavers

6527 search results - page 45 / 1306
» On Typing Information Flow
Sort
View
89
Voted
PADL
2004
Springer
15 years 3 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...
82
Voted
COLING
2000
14 years 11 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
15 years 11 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
15 years 4 months ago
Aspect-specification based on structural type information
Stefan Hanenberg, Mohammed Al-Mansari, Rainer Unla...
77
Voted
ECOOP
2004
Springer
15 years 3 months ago
Customization of Java Library Classes Using Type Constraints and Profile Information
Bjorn De Sutter, Frank Tip, Julian Dolby