Sciweavers

732 search results - page 135 / 147
» Using Types to Parse Natural Language
Sort
View
TSE
2002
99views more  TSE 2002»
13 years 7 months ago
Recovering Traceability Links between Code and Documentation
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
Giuliano Antoniol, Gerardo Canfora, Gerardo Casazz...
ICCV
2003
IEEE
14 years 9 months ago
Towards a Mathematical Theory of Primal Sketch and Sketchability
In this paper, we present a mathematical theory for Marr's primal sketch. We first conduct a theoretical study of the descriptive Markov random field model and the generative...
Cheng-en Guo, Song Chun Zhu, Ying Nian Wu
DGO
2007
123views Education» more  DGO 2007»
13 years 8 months ago
Cross-national information policy conflict regarding access to information: building a conceptual framework
This paper addresses cross-national information policy conflict regarding access to information. This type of information policy conflict appears more complex and controversial th...
Lei Zheng
CORR
2010
Springer
59views Education» more  CORR 2010»
13 years 5 months ago
Refinement and Verification of Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmere...
ITS
2010
Springer
159views Multimedia» more  ITS 2010»
14 years 4 days ago
Optimizing Story-Based Learning: An Investigation of Student Narrative Profiles
Narrative-centered learning environments offer significant potential for creating effective learning experiences in which students actively participate in engaging story-based prob...
Seung Y. Lee, Bradford W. Mott, James C. Lester