5284 search results - page 960 / 1057 » Ontologizing Semantic Relations |
136
Voted
POPL
2010
ACM
16 years 2 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
140
Voted
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
155
click to vote
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
Automotive companies are forced to continuously extend and improve their product line-up. However, increasing diversity, higher design complexity, and shorter development cycles c...
131
click to vote
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
135
click to vote
IUI
2009
ACM
16 years 1 months ago
2009
ACM
Using content-specific models to guide information retrieval and extraction can provide richer interfaces to endusers for both understanding the context of news events and navigat...