Sciweavers

6431 search results - page 16 / 1287
» Model Building by Resolution
Sort
View
97
Voted
WSC
1997
14 years 11 months ago
A Framework for the Simulation Experimentation Process
Modeling and simulation of very large systems introduces a number of issues that are not seen in the modeling of simpler systems. These arise because the resource requirements for...
Thomas C. Fall
EACL
2006
ACL Anthology
14 years 11 months ago
Automatic Detection of Nonreferential It in Spoken Multi-Party Dialog
We present an implemented machine learning system for the automatic detection of nonreferential it in spoken dialog. The system builds on shallow features extracted from dialog tr...
Christoph Müller
62
Voted
JAIR
2011
110views more  JAIR 2011»
14 years 4 months ago
Narrowing the Modeling Gap: A Cluster-Ranking Approach to Coreference Resolution
Traditional learning-based coreference resolvers operate by training the mention-pair model for determining whether two mentions are coreferent or not. Though conceptually simple ...
Altaf Rahman, Vincent Ng
AIPR
2005
IEEE
15 years 3 months ago
Hierarchical Bayesian Algorithm for Diffuse Optical Tomography
Diffuse Optical Tomography (DOT) poses a typical illposed inverse problem with limited number of measurements and inherently low spatial resolution. In this paper, we propose a hi...
Murat Guven, Birsen Yazici, Xavier Intes, Britton ...
FM
2008
Springer
93views Formal Methods» more  FM 2008»
14 years 11 months ago
Finding Minimal Unsatisfiable Cores of Declarative Specifications
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson