Sciweavers

10042 search results - page 337 / 2009
» Interactive Topic Modeling
Sort
View
JUCS
2006
109views more  JUCS 2006»
15 years 6 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 5 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
15 years 1 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
CORR
2008
Springer
111views Education» more  CORR 2008»
15 years 6 months ago
Risk Management for Complex Calculations: EuSpRIG Best Practices in Hybrid Applications
As the need for advanced, interactive mathematical models has increased, user/programmers are increasingly choosing the MatLab
Deborah Cernauskas, Andrew Kumiega, Ben Van Vliet
STOC
1997
ACM
116views Algorithms» more  STOC 1997»
15 years 11 months ago
Direct Product Results and the GCD Problem, in Old and New Communication Models
This paper contains several results regarding the communication complexity model and the 2-prover games model, which are based on interaction between the two models:
Itzhak Parnafes, Ran Raz, Avi Wigderson