10271 search results - page 1897 / 2055 » Computational science |
169
Voted
ERSHOV
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
203
Voted
FSTTCS
2009
Springer
16 years 25 days ago
2009
Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...
154
click to vote
RECSYS
2009
ACM
16 years 23 days ago
2009
ACM
Short search engine queries do not provide contextual information, making it difficult for traditional search engines to understand what users are really requesting. One approach ...
168
click to vote
LICS
2008
IEEE
16 years 20 days ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
183
click to vote
LICS
2008
IEEE
16 years 20 days ago
2008
IEEE
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...