Sciweavers

6141 search results - page 320 / 1229
» Models and representation of their ownership
Sort
View
SIGPLAN
2002
15 years 6 months ago
On-the-fly model checking from interval logic specifications
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
Miguel J. Hornos, Manuel I. Capel
NAACL
2010
15 years 4 months ago
Coreference Resolution in a Modular, Entity-Centered Model
Coreference resolution is governed by syntactic, semantic, and discourse constraints. We present a generative, model-based approach in which each of these factors is modularly enc...
Aria Haghighi, Dan Klein
SIGDIAL
2010
15 years 4 months ago
Cooperative User Models in Statistical Dialog Simulators
Statistical user simulation is a promising methodology to train and evaluate the performance of (spoken) dialog systems. We work with a modular architecture for data-driven simula...
Meritxell González, Silvia Quarteroni, Gius...
SKG
2006
IEEE
16 years 21 days ago
A Computing Model for Concept Fusing and Document Classification
Effective document classification is a long-pursued goal in knowledge management. This paper proposes a novel hybrid approach of semantic representation and statistical measuremen...
Nan Zhang, Chao He
181
Voted
VL
2006
IEEE
170views Visual Languages» more  VL 2006»
16 years 21 days ago
A Lightweight Model for End Users' Domain-Specific Data
Many end user programming tools lack adequate support for domain-specific data. We will design a lightweight representation for categories of data, called “topes,” and develop...
Christopher Scaffidi