1809 search results - page 207 / 362 » Software Model Checking Using Linear Constraints |
125
Voted
ACL
2011
14 years 5 months ago
2011
Topic models have been used extensively as a tool for corpus exploration, and a cottage industry has developed to tweak topic models to better encode human intuitions or to better...
119
Voted
TASLP
2011
14 years 9 months ago
2011
—Measuring binaural room impulse responses (BRIRs) for different rooms and different persons is a costly and time-consuming task. In this paper, we propose a method that allows t...
132
Voted
APSEC
2006
IEEE
15 years 8 months ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
SEKE
2005
Springer
15 years 7 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
172
Voted
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
This paper investigates a Bayesian model and a Markov chain Monte Carlo (MCMC) algorithm for gene factor analysis. Each sample in the dataset is decomposed as a linear combination...