2612 search results - page 462 / 523 » Switching Graphs and Their Complexity |
ICLP
2010
Springer
14 years 20 days ago
2010
Springer
Abstract. Reasoning about social networks (labeled, directed, weighted graphs) is becoming increasingly important and there are now models of how certain phenomena (e.g. adoption o...
AGILEDC
2004
IEEE
14 years 16 days ago
2004
IEEE
To maximize the velocity of business value delivery, Alistair Cockburn talks of having a process that is "barely sufficient." At Landmark Graphics we developed some guid...
ATVA
2004
Springer
14 years 16 days ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
ECAI
2006
Springer
14 years 14 days ago
2006
Springer
Abstract. We study resolving conflicts between an action description and a set of conditions (possibly obtained from observations), in the context of action languages. In this form...
ACSAC
2001
IEEE
14 years 13 days ago
2001
IEEE
Software component technology facilitates the costeffective development of specialized applications. Nevertheless, due to the high number of principals involved in a component-str...