7139 search results - page 250 / 1428 » Language Engineering in Practice |
170
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
We demonstrate a flight meta-search engine that is based on the Metamorph framework. Metamorph provides mechanisms to model web forms together with the interactions which are need...
250
click to vote
ASWC
2009
Springer
15 years 5 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...
284
Voted
SIGIR
2012
ACM
13 years 9 months ago
2012
ACM
Positional ranking functions, widely used in web search engines, improve result quality by exploiting the positions of the query terms within documents. However, it is well known ...
171
click to vote
PEPM
2007
ACM
16 years 1 months ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
190
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...