3679 search results - page 348 / 736 » Hybrid Semantic Analysis |
245
click to vote
ASWC
2009
Springer
15 years 4 months ago
2009
Springer
Driven by the goal of automating data analyses in the field of bioinformatics, SHARE (Semantic Health and Research Environment) is a specialized SPARQL engine that resolves queries...
292
click to vote
DEBU
2007
15 years 6 months ago
2007
The volume of information in natural languages in electronic format is increasing exponentially. The demographics of users of information management systems are becoming increasin...
156
click to vote
CGO
2005
IEEE
16 years 14 days ago
2005
IEEE
Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointe...
186
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
The web contains a wealth of product reviews, but sifting through them is a daunting task. Ideally, an opinion mining tool would process a set of search results for a given item, ...
190
click to vote
FMCAD
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...