Sciweavers

5213 search results - page 397 / 1043
» Statistical entity-topic models
Sort
View
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 11 months ago
Formal verification of analog circuits in the presence of noise and process variation
We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we propose ...
Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zak...
IMCSIT
2010
15 years 5 months ago
Semi-Automatic Extension of Morphological Lexica
Abstract--We present a tool that facilitates the efficient extension of morphological lexica. The tool exploits information from a morphological lexicon, a morphological grammar an...
Tobias Kaufmann, Beat Pfister
ACL
2009
15 years 5 months ago
A NLG-based Application for Walking Directions
This work describes an online application that uses Natural Language Generation (NLG) methods to generate walking directions in combination with dynamic 2D visualisation. We make ...
Michael Roth, Anette Frank
JMLR
2010
84views more  JMLR 2010»
15 years 2 months ago
Learning Exponential Families in High-Dimensions: Strong Convexity and Sparsity
The versatility of exponential families, along with their attendant convexity properties, make them a popular and effective statistical model. A central issue is learning these mo...
Sham Kakade, Ohad Shamir, Karthik Sindharan, Ambuj...
SMA
2010
ACM
181views Solid Modeling» more  SMA 2010»
15 years 1 months ago
Threshold selection in jump-discriminant filter for discretely observed jump processes
Threshold estimation is one of the useful techniques in the inference for jump-type stochastic processes from discrete observations. In this method, a jump-discriminant filter is ...
Yasutaka Shimizu