Sciweavers

6431 search results - page 16 / 1287
» Model Building by Resolution
Sort
View
WSC
1997
15 years 3 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
15 years 3 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
96
Voted
JAIR
2011
110views more  JAIR 2011»
14 years 8 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
132
Voted
AIPR
2005
IEEE
15 years 7 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 ...
111
Voted
FM
2008
Springer
93views Formal Methods» more  FM 2008»
15 years 3 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