Sciweavers

2042 search results - page 93 / 409
» Variable Number of
Sort
View
AMC
2007
164views more  AMC 2007»
15 years 4 months ago
The method of lines for the numerical solution of a mathematical model for capillary formation: The role of endothelial cells in
In this paper we present the method of lines to obtain the numerical solution of a mathematical model for capillary formation in tumor angiogenesis. This method is an approach to ...
Serdal Pamuk, Arzu Erdem
CONSTRAINTS
2008
70views more  CONSTRAINTS 2008»
15 years 4 months ago
Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation
We present a novel approach to automatically reformulating constraints defined as tables of allowed assignments to variables. Constraints of this form are common in a variety of se...
Hadrien Cambazard, Barry O'Sullivan
CSDA
2010
67views more  CSDA 2010»
15 years 4 months ago
Factor-GMM estimation with large sets of possibly weak instruments
This paper analyses the use of factor analysis for instrumental variable estimation when the number of instruments tends to infinity. We consider cases where the unobserved factor...
George Kapetanios, Massimiliano Marcellino
JMLR
2006
118views more  JMLR 2006»
15 years 4 months ago
Learning Factor Graphs in Polynomial Time and Sample Complexity
We study the computational and sample complexity of parameter and structure learning in graphical models. Our main result shows that the class of factor graphs with bounded degree...
Pieter Abbeel, Daphne Koller, Andrew Y. Ng
VMCAI
2005
Springer
15 years 9 months ago
Model Checking of Systems Employing Commutative Functions
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
A. Prasad Sistla, Min Zhou, Xiaodong Wang