Sciweavers

4190 search results - page 438 / 838
» Type Class Directives
Sort
View
BIRTHDAY
2004
Springer
15 years 10 months ago
On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
Ranko Lazic, Thomas Christopher Newcomb, A. W. Ros...
ICCV
1995
IEEE
15 years 10 months ago
Matching Constraints and the Joint Image
This paper studies the geometry of multi-image perspective projection and the matching constraints that this induces on image measurements. The combined image projections define ...
Bill Triggs
DATESO
2008
139views Database» more  DATESO 2008»
15 years 8 months ago
Conceptual Model Based Normalization of XML Views
As the popularity of XML as a format for data representation grows the need for storing XML data in an effective way grows as well. Recent research has provide us with effective so...
Martin Necasky
LREC
2010
175views Education» more  LREC 2010»
15 years 8 months ago
Adapting a resource-light highly multilingual Named Entity Recognition system to Arabic
We present a working Arabic information extraction (IE) system that is used to analyze large volumes of news texts every day to extract the named entity (NE) types person, organiz...
Wajdi Zaghouani, Bruno Pouliquen, Mohamed Ebrahim,...
ISTA
2004
15 years 8 months ago
TransM: A Structured Document Transformation Model
: We present in this paper a transformation model for structured documents. TransM is a new model that deals with specified documents, where the structure conforms to a predefined ...
Nouhad Amaneddine, Jean Paul Bahsoun, Jean-Paul Bo...