Sciweavers

10615 search results - page 326 / 2123
» Dynamic topic models
Sort
View
133
Voted
JUCS
2006
109views more  JUCS 2006»
15 years 4 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
IIR
2010
15 years 3 months ago
GrOnto: A Granular Ontology for Diversifying Search Results
Results diversification is an approach used in literature to cover the possible interpretations of the results produced by query evaluation. For diversifying search results we pr...
Silvia Calegari, Gabriella Pasi
MEMICS
2010
14 years 11 months ago
On Reliability and Refutability in Nonconstructive Identification
Identification in the limit, originally due to Gold [10], is a widely used computation model for inductive inference and human language acquisition. We consider a nonconstructive ...
Ilja Kucevalovs
SIAMFM
2011
75views more  SIAMFM 2011»
14 years 7 months ago
Dynamic Hedging of Portfolio Credit Derivatives
As shown by the recent turmoil in credit markets, much remains to be done for the proper risk management of credit derivatives. In particular, the static copula-based models commo...
Rama Cont, Yu Hang Kan
SWAT
1994
Springer
117views Algorithms» more  SWAT 1994»
15 years 8 months ago
Lower Bounds for Dynamic Algorithms
We study the complexity of the dynamic partial sum problem in the cell-probe model. We give the model access to nondeterministic queries and prove that the problem remains hard. We...
Michael L. Fredman