5718 search results - page 155 / 1144 » Modeling Rule Precision |
154
click to vote
TCS
2008
15 years 6 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
172
click to vote
ADHOCNOW
2007
Springer
16 years 18 days ago
2007
Springer
The in-network aggregation and processing of information is what sets a sensor network apart from a pure data acquisition device. One way to model the exchange of information betwe...
159
click to vote
CONTEXT
2005
Springer
15 years 12 months ago
2005
Springer
Regarding the high rate of transgressions of the Highway Code, the paper is about how do road users agree to be exposed to such risks? We consider that this issue must be addressed...
179
click to vote
CICLING
2007
Springer
15 years 10 months ago
2007
Springer
In biomedical articles, terms often refer to different protein entities. For example, an arbitrary occurrence of term p53 might denote thousands of proteins across a number of spec...
186
click to vote
NC
1998
15 years 7 months ago
1998
This paper reports the results of experiments in complex Arabic phonetic features identification using a rulebased system (SARPH) and modular connectionist architectures. The firs...