4211 search results - page 345 / 843 » Types as Abstract Interpretations |
157
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
Entity search, a significant departure from page-based retrieval, finds data, i.e., entities, embedded in documents directly and holistically across the whole collection. This pap...
118
click to vote
ANTS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The goal of this paper is to present computations investigating the "functorial" properties of Stark units, that is, how specific roots of Stark units from cert...
155
click to vote
DAWAK
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The new type of patterns: sequential patterns with the negative conclusions is proposed in the paper. They denote that a certain set of items does not occur after a regul...
146
click to vote
RIVF
2007
15 years 8 months ago
2007
Abstract— We propose in this paper a generalization of percolation processes in Z2 using the pretopology theory. We formalize the notion of neighborhood by extending it to the co...
168
click to vote
CSREAESA
2006
15 years 8 months ago
2006
- A systematic approach to building layered software architecture is proposed. Separate layering models required oper abstracting of hardware, persistent data, and communication pr...