Sciweavers

1740 search results - page 128 / 348
» Minimal structures for stories
Sort
View
139
Voted
JMLC
1997
Springer
15 years 7 months ago
An Object-Oriented Database Programming Environment for Oberon
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
Jacques Supcik, Moira C. Norrie
126
Voted
CL
2000
Springer
15 years 7 months ago
Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
Tommi A. Junttila, Ilkka Niemelä
146
Voted
DLT
2007
15 years 5 months ago
State Complexity of Union and Intersection of Finite Languages
Abstract. We investigate the state complexity of union and intersection for finite languages. Note that the problem of obtaining the tight bounds for both operations was open. We ...
Yo-Sub Han, Kai Salomaa
101
Voted
FLAIRS
2003
15 years 5 months ago
Meta-S: A Strategy-Oriented Meta-Solver Framework
Meta-S is a practical implementation and extension of the theoretical framework developed by Hofstedt, which allows the user to attack problems requiring the cooperation of arbitr...
Stephan Frank, Petra Hofstedt, Pierre R. Mai
114
Voted
NIPS
2004
15 years 5 months ago
Hierarchical Clustering of a Mixture Model
In this paper we propose an efficient algorithm for reducing a large mixture of Gaussians into a smaller mixture while still preserving the component structure of the original mod...
Jacob Goldberger, Sam T. Roweis