Sciweavers

7681 search results - page 1264 / 1537
» Typed Membrane Systems
Sort
View
209
Voted
CAISE
2003
Springer
16 years 23 days ago
Multidimensional Schemas Quality Assessment
: A data warehouse is a database focused on decision making. It is built separately from the transactional (OLTP) databases of the enterprise, although it is partly fed from transa...
Nicolas Prat, Samira Si-Said Cherfi
192
Voted
CICLING
2003
Springer
16 years 23 days ago
Positive Grammar Checking: A Finite State Approach
Abstract. This paper reports on the development of a finite state system for finding grammar errors without actually specifying the error. A corpus of Swedish text written by chi...
Sylvana Sofkova Hashemi, Robin Cooper, Robert Ande...
ECML
2003
Springer
16 years 22 days ago
Optimizing Local Probability Models for Statistical Parsing
Abstract. This paper studies the properties and performance of models for estimating local probability distributions which are used as components of larger probabilistic systems ...
Kristina Toutanova, Mark Mitchell, Christopher D. ...
ESOP
2003
Springer
16 years 22 days ago
Modeling Web Interactions
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among t...
Paul T. Graunke, Robert Bruce Findler, Shriram Kri...
FOSSACS
2003
Springer
16 years 22 days ago
Generalized Iteration and Coiteration for Higher-Order Nested Datatypes
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
Andreas Abel, Ralph Matthes, Tarmo Uustalu
« Prev « First page 1264 / 1537 Last » Next »