Sciweavers

10997 search results - page 1950 / 2200
» On the Structure of Complete Sets
Sort
View
119
Voted
ENTCS
2002
128views more  ENTCS 2002»
15 years 19 days ago
Rewriting Calculus with(out) Types
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
JODL
2000
76views more  JODL 2000»
15 years 18 days ago
Strategy-based interactive cluster visualization for information retrieval
Abstract. In this paper we investigate a general purpose interactive information organization system. The system organizes documents by placing them into 1-, 2-, or 3-dimensional s...
Anton Leuski, James Allan
110
Voted
NAR
2000
117views more  NAR 2000»
15 years 18 days ago
The TIGR Gene Indices: reconstruction and representation of expressed gene sequences
Expressed sequence tags (ESTs) have provided a first glimpse of the collection of transcribed sequences in a variety of organisms. However, a careful analysis of this sequence dat...
John Quackenbush, Feng Liang, Ingeborg Holt, Geo P...
PR
2000
123views more  PR 2000»
15 years 18 days ago
An expert system for general symbol recognition
An expert system for analysis and recognition of general symbols is introduced. The system uses the structural pattern recognition technique for modeling symbols by a set of strai...
Maher Ahmed, Rabab Kreidieh Ward
97
Voted
SIAMJO
2000
74views more  SIAMJO 2000»
15 years 18 days ago
A Specialized Interior-Point Algorithm for Multicommodity Network Flows
Abstract. Despite the efficiency shown by interior-point methods in large-scale linear programming, they usually perform poorly when applied to multicommodity flow problems. The ne...
Jordi Castro
« Prev « First page 1950 / 2200 Last » Next »