27119 search results - page 424 / 5424 » Languages |
179
click to vote
FINTAL
2006
15 years 10 months ago
2006
Abstract. We introduce a method for content-based advertisement selection for personal blog pages, based on combining multiple representations of the blog. The core idea behind the...
173
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
168
Voted
SAIG
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...
149
click to vote
PODS
1991
ACM
15 years 10 months ago
1991
ACM
In this paper we characterise exactly the complexity of a set based database language called SRL, which presents a unified framework for queries and updates. By imposing simple s...
167
click to vote
CSR
2008
Springer
15 years 8 months ago
2008
Springer
We prove that every rational language of words indexed by linear orderings is definable in monadic second-order logic. We also show that the converse is true for the class of langu...