Sciweavers

9719 search results - page 125 / 1944
» Inference for Multiplicative Models
Sort
View
80
Voted
CADE
2010
Springer
15 years 1 months ago
Monotonicity Inference for Higher-Order Formulas
Abstract. Formulas are often monotonic in the sense that if the formula is satisfiable for given domains of discourse, it is also satisfiable for all larger domains. Monotonicity i...
Jasmin Christian Blanchette, Alexander Krauss
JAIR
2008
136views more  JAIR 2008»
15 years 24 days ago
Global Inference for Sentence Compression: An Integer Linear Programming Approach
Sentence compression holds promise for many applications ranging from summarization to subtitle generation. Our work views sentence compression as an optimization problem and uses...
James Clarke, Mirella Lapata
108
Voted
BIOINFORMATICS
2006
124views more  BIOINFORMATICS 2006»
15 years 26 days ago
Probabilistic inference of transcription factor concentrations and gene-specific regulatory activities
Motivation Quantitative estimation of the regulatory relationship between transcription factors and genes is a fundamental stepping stone when trying to develop models of cellular...
Guido Sanguinetti, Neil D. Lawrence, Magnus Rattra...
92
Voted
ICANN
2007
Springer
15 years 7 months ago
Inferring Cognition from fMRI Brain Images
Abstract. Over the last few years, functional Magnetic Resonance Imaging (fMRI) has emerged as a new and powerful method to map the cognitive states of a human subject to specific...
Diego Sona, Sriharsha Veeramachaneni, Emanuele Oli...
ICSEA
2006
IEEE
15 years 6 months ago
Testing a Network by Inferring Representative State Machines from Network Traces
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
Nancy D. Griffeth, Yuri Cantor, Constantinos Djouv...