Sciweavers

5352 search results - page 277 / 1071
» Modeling the socio-cultural context
Sort
View
DAC
2010
ACM
15 years 10 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare
CICLING
2006
Springer
15 years 10 months ago
Abbreviation Recognition with MaxEnt Model
Abbreviated words carry critical information in the literature of many special domains. This paper reports our research in recognizing dotted abbreviations with MaxEnt model. The k...
Chunyu Kit, Xiaoyue Liu, Jonathan J. Webster
FLAIRS
2008
15 years 9 months ago
A New Approach to Model-Based Diagnosis Using Probabilistic Logic
We describe a new approach to model construction using transfer function diagrams that are consequently mapped into generalized loopy logic, a first-order, Turing-complete stochas...
Nikita A. Sakhanenko, Roshan Rammohan, George F. L...
185
Voted
CDVE
2008
Springer
197views Visualization» more  CDVE 2008»
15 years 8 months ago
3D Reconstruction of Large Scale City Models as a Support to Sustainable Development
No part of the economic community can now escape from the urgent issues related to global warming, carbon footprint and reducing energy consumption. Nevertheless, the construction ...
Jean-Philippe Pons, Souheil Soubra
EMNLP
2007
15 years 8 months ago
Modelling Compression with Discourse Constraints
Sentence compression holds promise for many applications ranging from summarisation to subtitle generation and subtitle generation. The task is typically performed on isolated sen...
James Clarke, Mirella Lapata