Sciweavers

734 search results - page 47 / 147
» Undecidability over Continuous Time
Sort
View
ESOA
2006
14 years 10 days ago
Dynamic Decentralized Any-Time Hierarchical Clustering
Hierarchical clustering is used widely to organize data and search for patterns. Previous algorithms assume that the body of data being clustered is fixed while the algorithm runs...
H. Van Dyke Parunak, Richard Rohwer, Theodore C. B...
COLING
2008
13 years 10 months ago
A Syntactic Time-Series Model for Parsing Fluent and Disfluent Speech
This paper describes an incremental approach to parsing transcribed spontaneous speech containing disfluencies with a Hierarchical Hidden Markov Model (HHMM). This model makes use...
Tim Miller, William Schuler
ECAI
2004
Springer
14 years 2 months ago
Guiding a Theorem Prover with Soft Constraints
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
John K. Slaney, Arnold Binas, David Price
ESANN
2007
13 years 10 months ago
Tracking fast changing non-stationary distributions with a topologically adaptive neural network: application to video tracking
In this paper, an original method named GNG-T, extended from GNG-U algorithm by [1] is presented. The method performs continuously vector quantization over a distribution that chan...
Georges Adrian Drumea, Hervé Frezza-Buet
FORMATS
2006
Springer
14 years 10 days ago
A Dose of Timed Logic, in Guarded Measure
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
Kamal Lodaya, Paritosh K. Pandya