5499 search results - page 108 / 1100 » Generalized Rewrite Theories |
113
click to vote
ICIP
1998
IEEE
16 years 6 months ago
1998
IEEE
We present a novel formulation for B-spline snakes that can be used as a tool for fast and intuitive contour outlining. The theory is implemented in a platform independent JAVA in...
139
click to vote
CCS
2009
ACM
16 years 5 months ago
2009
ACM
In this paper, we re-visit the problem of unconditionally secure message transmission (USMT) from a sender S to a receiver R, who are part of a distributed synchronous network, mo...
123
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
121
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, we present an analytical method to evaluate the bit error rate (BER) of the ultra-wideband (UWB) system in the IEEE 802.15.4a standardized channel model. The IEE...
126
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...