7049 search results - page 135 / 1410 » Data Abstraction for CSP-OZ |
IEICET
2006
14 years 10 months ago
2006
Abstract-- This paper studies a multiband mobile communication system to support both high data rate services and wide service coverage, using high and low frequency resources with...
DBSK
2007
14 years 10 months ago
2007
Abstract. Despite recent improvements in wireless network protocols and the manufacturing of better, more performant mobile devices, developing mobile applications and services sti...
TAP
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
IM
2007
14 years 10 months ago
2007
Abstract. In this paper, we consider the problem of calculating fast and accurate approximations to the personalized PageRank score of a webpage. We focus on techniques to improve ...
100
click to vote
JIB
2010
14 years 8 months ago
2010
s text mining techniques over Medline abstracts as a method for accessing both these bodies of evidence in a consistent way. In an example use case, we apply our method to create a...