762 search results - page 101 / 153 » Strategic Coloring of a Graph |
133
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Given a theory T and two formulas A and B jointly unsatisfiable in T , a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by ...
141
click to vote
ISAAC
2005
Springer
15 years 10 months ago
2005
Springer
Consider an information network with harmful procedures called attackers (e.g., viruses); each attacker uses a probability distribution to choose a node of the network to damage. O...
129
click to vote
ECIS
2003
15 years 5 months ago
2003
This paper describes a web-based system that integrates knowledge management and decision-making features to enable short-term communities of practice develop manufacturing strate...
135
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Social Network Analysis (SNA) provides graph algorithms to characterize the structure of social networks, strategic positions in these networks, specific sub-networks and...
149
click to vote
INTELLCOMM
2004
Springer
15 years 9 months ago
2004
Springer
We present the design, implementation and evaluation of a location detection system built over a Radio Frequency network based on the IEEE 802.11 standard. Our system employs beac...