Sciweavers

328 search results - page 27 / 66
» Deterministic k-set structure
Sort
View
CL
2000
Springer
13 years 11 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ä
DLT
2007
13 years 8 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
NIPS
1996
13 years 8 months ago
Continuous Sigmoidal Belief Networks Trained using Slice Sampling
Real-valued random hidden variables can be useful for modelling latent structure that explains correlations among observed variables. I propose a simple unit that adds zero-mean G...
Brendan J. Frey
AAAI
1992
13 years 8 months ago
A Probabilistic Parser Applied to Software Testing Documents
We describe an approach to training a statistical parser from a bracketed corpus, and demonstrate its use in a software testing application that translates English speci cations i...
Mark A. Jones, Jason Eisner
ICASSP
2009
IEEE
13 years 5 months ago
A PARAFAC-based technique for detection and localization of multiple targets in a MIMO radar system
In this paper, we show that the problem of detection and localization of multiple targets in a bistatic MIMO radar system can be solved by Parallel Factor (PARAFAC) analysis. Our ...
Dimitri Nion, Nicholas D. Sidiropoulos