5863 search results - page 1050 / 1173 » On Model-Checking of P Systems |
152
click to vote
MDM
2010
Springer
15 years 6 months ago
2010
Springer
—Given the potential scale on which a Wireless Sensor Network (WSN) can be deployed, multi-hop communication will be a pivotal component of the system. When redundant nodes are d...
119
click to vote
CICLING
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Automatic document summarization has become increasingly important due to the quantity of written material generated worldwide. Generating good quality summaries enables ...
125
click to vote
AICCSA
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we apply a machine learning approach to the problem of estimating the number of defects called Regression via Classification (RvC). RvC initially automatically discr...
117
Voted
IWMM
2010
Springer
15 years 6 months ago
2010
Springer
Shadow memory is used by dynamic program analysis tools to store metadata for tracking properties of application memory. The efficiency of mapping between application memory and s...
146
click to vote
PKC
2010
Springer
15 years 6 months ago
2010
Springer
ded abstract of this paper appears in 13th International Conference on Practice and Theory in Public Key Cryptography (PKC) 2010, Lecture Notes in Computer Science Vol. ?, P. Nguye...