3931 search results - page 457 / 787 » Separation logic and abstraction |
176
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we present a new approach to web search personalization based on user collaboration and sharing of information about web documents. The proposed personaliz...
141
click to vote
STACS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We introduce a new class VPSPACE of families of polynomials. Roughly speaking, a family of polynomials is in VPSPACE if its coefficients can be computed in polynomial spa...
210
click to vote
WABI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Parameter estimation of large bio-pathway models is an important and difficult problem. To reduce the prohibitive computational cost, one approach is to decompose a large...
211
click to vote
IEEESCC
2006
IEEE
16 years 1 months ago
2006
IEEE
Service Oriented Architecture (SOA) is an architectural style to reuse and integrate subsystems in existing systems for designing new applications. Each application is designed in...
189
click to vote
LCN
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— This paper presents measurements of radio interference using ”Ambient µNode” sensor nodes. We varied distances and frequencies giving us a measure of the amount of...