Sciweavers

1863 search results - page 58 / 373
» Natural Language Analysis for Semantic Document Modeling
Sort
View
POPL
2009
ACM
16 years 4 months ago
A cost semantics for self-adjusting computation
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
Ruy Ley-Wild, Umut A. Acar, Matthew Fluet
TREC
2007
15 years 5 months ago
IITD-IBMIRL System for Question Answering Using Pattern Matching, Semantic Type and Semantic Category Recognition
A Question Answering (QA) system aims to return exact answers to natural language questions. While today information retrieval techniques are quite successful at locating within l...
Ashish Kumar Saxena, Ganesh Viswanath Sambhu, Saro...
FDL
2004
IEEE
15 years 8 months ago
Semi-Symbolic Modeling and Analysis of Noise in Heterogeneous Systems
The article describes semi-symbolic methods for the analysis of control and signal processing systems, including static and dynamic uncertainties. This above mentioned semi-symbol...
Christoph Grimm, Wilhelm Heupke, Klaus Waldschmidt
NLDB
2007
Springer
15 years 10 months ago
Text Segmentation Based on Document Understanding for Information Retrieval
Information retrieval needs to match relevant texts with a given query. Selecting appropriate parts is useful when documents are long, and only portions are interesting to the user...
Violaine Prince, Alexandre Labadié
FM
2003
Springer
88views Formal Methods» more  FM 2003»
15 years 9 months ago
A Semantic Foundation for TCOZ in Unifying Theories of Programming
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
Shengchao Qin, Jin Song Dong, Wei-Ngan Chin