Sciweavers

5130 search results - page 420 / 1026
» Constraint Query Languages
Sort
View
ICFP
2005
ACM
16 years 6 months ago
Combining programming with theorem proving
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
Chiyan Chen, Hongwei Xi
SEMWEB
2009
Springer
16 years 1 months ago
Functions over RDF Language Elements
Spreadsheet tools are often used in business and private scenarios in order to collect and store data, and to explore and analyze these data by executing functions and aggregation...
Bernhard Schandl
168
Voted
CEC
2005
IEEE
16 years 12 days ago
Evolutionary algorithm for noun phrase detection in natural language processing
Noun phrases of a document usually are the main information bearers. Thus, the detection of these units is crucial in many applications related to information retrieval, such as co...
Jose Ignacio Serrano, Lourdes Araujo
CLEF
2005
Springer
16 years 9 days ago
CUHK at ImageCLEF 2005: Cross-Language and Cross-Media Image Retrieval
In this paper, we describe our studies of cross-language and cross-media image retrieval at the ImageCLEF 2005. This is the first participation of our CUHK (The Chinese University...
Steven C. H. Hoi, Jianke Zhu, Michael R. Lyu
SIGIR
1998
ACM
15 years 11 months ago
A Language Modeling Approach to Information Retrieval
Abstract Models of document indexing and document retrieval have been extensively studied. The integration of these two classes of models has been the goal of several researchers b...
Jay M. Ponte, W. Bruce Croft