Sciweavers

2958 search results - page 145 / 592
» Extending and Implementing RASP
Sort
View
CUZA
2004
81views more  CUZA 2004»
13 years 9 months ago
The Quick Check Pre-unification Filter for Typed Grammars: Further Advances
We present several significant improvements in the implementation of the quick check pre-unification filter [7] [10], and the potential way in which the design of the quick check [...
Liviu-Virgil Ciortuz
TIP
1998
91views more  TIP 1998»
13 years 8 months ago
A recursive thresholding technique for image segmentation
— In this correspondence, we present a general recursive approach for image segmentation by extending Otsu’s method. The new approach has been implemented in the scope of docum...
Mohamed Cheriet, Joseph N. Said, Ching Y. Suen
SIGPLAN
2002
13 years 8 months ago
Pattern-matching and rewriting rules for group indexed data structures
In this paper, we present a new framework for the definition of various data structures (including trees and arrays) together with a generic language of filters enabling a rule-ba...
Jean-Louis Giavitto, Olivier Michel, Julien Cohen
PERCOM
2010
ACM
13 years 7 months ago
Embedding Semantic Product Memories in the web of things
—Today, RFID is used to identify a wide range of work pieces or individual products for tracking their movements through the logistics chain. For future purposes the idea of stor...
Christian Seitz, Christoph Legat, Jörg Neidig
ACL
2010
13 years 7 months ago
An Open-Source Package for Recognizing Textual Entailment
This paper presents a general-purpose open source package for recognizing Textual Entailment. The system implements a collection of algorithms, providing a configurable framework ...
Milen Kouylekov, Matteo Negri