321 search results - page 15 / 65 » A Model for Change Propagation Based on Graph Rewriting |
151
click to vote
ISMVL
2010
IEEE
15 years 10 months ago
2010
IEEE
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
156
click to vote
ESWS
2009
Springer
16 years 9 days ago
2009
Springer
We consider the problem of tag prediction in collaborative tagging systems where users share and annotate resources on the Web. We put forward HAMLET, a novel approach to automatic...
182
click to vote
KES
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, in order to reduce the explosive increase of the search space as the input dimension grows, we present a new representation method for the structure of fuzzy rules, ...
127
click to vote
AHSWN
2007
15 years 5 months ago
2007
— We show that simple radio propagation and node mobility models widely used in MANET evaluation are not robust in indoor environments. Robust simulation models let researchers e...
157
click to vote
INFOCOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— Polymorphic worms can change their byte sequence as they replicate and propagate, thwarting the traditional signature analysis techniques used by many intrusion detection syste...