Sciweavers

2754 search results - page 475 / 551
» Competitive recommendation systems
Sort
View
FINTAL
2006
14 years 1 months ago
Morphological Lexicon Extraction from Raw Text Data
The tool extract enables the automatic extraction of lemma-paradigm pairs from raw text data. The tool uses search patterns that consist of regular expressions and propositional lo...
Markus Forsberg, Harald Hammarström, Aarne Ra...
LPAR
2000
Springer
14 years 1 months ago
Efficient Structural Information Analysis for Real CLP Languages
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
CAV
1997
Springer
102views Hardware» more  CAV 1997»
14 years 1 months ago
Efficient Model Checking Using Tabled Resolution
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramak...
ROBOCUP
2000
Springer
165views Robotics» more  ROBOCUP 2000»
14 years 1 months ago
Omni-Directional Vision with a Multi-part Mirror
This paper deals with an omni-directional sensor based on a camera and a mirror generated with a surface of revolution. The requirements the device must fulfill result from its use...
Fabio M. Marchese, Domenico G. Sorrenti
AAAI
2007
14 years 13 days ago
Turning Lectures into Comic Books Using Linguistically Salient Gestures
Creating video recordings of events such as lectures or meetings is increasingly inexpensive and easy. However, reviewing the content of such video may be time-consuming and difï¬...
Jacob Eisenstein, Regina Barzilay, Randall Davis