Sciweavers

18769 search results - page 377 / 3754
» Requirements Models in Context
Sort
View
TITB
2008
110views more  TITB 2008»
15 years 7 months ago
Context-Sensitive Correlation of Implicitly Related Data: An Episode Creation Methodology
Episode creation is the task of classifying medical events and related clinical data to high-level concepts, such as diseases. Challenges in episode creation result in part because...
Roderick Y. Son, Ricky K. Taira, Hooshang Kangarlo...
FM
2003
Springer
160views Formal Methods» more  FM 2003»
16 years 26 days ago
Translation-Based Compositional Reasoning for Software Systems
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
Fei Xie, James C. Browne, Robert P. Kurshan
VLSID
1999
IEEE
93views VLSI» more  VLSID 1999»
15 years 12 months ago
Spec-Based Repeater Insertion and Wire Sizing for On-chip Interconnect
Recently Lillis, et al. presented an elegant dynamic programming approach to RC interconnect delay optimization through driver sizing, repeater insertion, and, wire sizing which e...
Noel Menezes, Chung-Ping Chen
NIPS
2004
15 years 9 months ago
Hierarchical Distributed Representations for Statistical Language Modeling
Statistical language models estimate the probability of a word occurring in a given context. The most common language models rely on a discrete enumeration of predictive contexts ...
John Blitzer, Kilian Q. Weinberger, Lawrence K. Sa...
KDD
2006
ACM
175views Data Mining» more  KDD 2006»
16 years 8 months ago
A mixture model for contextual text mining
Contextual text mining is concerned with extracting topical themes from a text collection with context information (e.g., time and location) and comparing/analyzing the variations...
Qiaozhu Mei, ChengXiang Zhai