Sciweavers

3782 search results - page 392 / 757
» Engineering Social Order
Sort
View
FOSSACS
2003
Springer
15 years 12 months ago
Type Assignment for Intersections and Unions in Call-by-Value Languages
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
Joshua Dunfield, Frank Pfenning
EUROMICRO
2002
IEEE
15 years 11 months ago
Customer Choice in a Multi-Service Residential Access Network Environment
TORRENT is an EU-Supported Framework 5 project that is showing how intelligent control and negotiation capabilities can be built into access networks so as to give the residential...
Eric Scharf, Peter Hamer, Konstantinos Smparounis,...
184
Voted
CICLING
2001
Springer
15 years 11 months ago
Applying Productive Derivational Morphology to Term Indexing of Spanish Texts
This paper deals with the application of natural language processing techniques to the field of information retrieval. To be precise, we propose the application of morphological f...
Jesús Vilares, David Cabrero, Miguel A. Alo...
162
Voted
DEXA
2001
Springer
91views Database» more  DEXA 2001»
15 years 11 months ago
Towards the Development of Heuristics for Automatic Query Expansion
Abstract. In this paper we study the performance of linguisticallymotivated conflation techniques for Information Retrieval in Spanish. In particular, we have studied the applicat...
Jesús Vilares, Manuel Vilares Ferro, Miguel...
SIGCSE
1999
ACM
93views Education» more  SIGCSE 1999»
15 years 11 months ago
Patterns for decoupling data structures and algorithms
In order to build a data structure that is extensible and reusable, it is necessary to decouple the intrinsic and primitive behavior of the structure from the application specific...
Dung Zung Nguyen, Stephen B. Wong