2315 search results - page 37 / 463 » Does EigenPalm work |
TVCG
2011
13 years 4 months ago
2011
—Many graph visualization systems use graph hierarchies to organize a large input graph into logical components. These approaches detect features globally in the data and place t...
FORTE
2008
13 years 10 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
OPODIS
2008
13 years 10 months ago
2008
We consider asynchronous deterministic broadcasting in radio networks. An execution of a broadcasting protocol is a series of events, each of which consists of simultaneous transm...
PST
2008
13 years 10 months ago
2008
Mimicry attacks have been the focus of detector research where the objective of the attacker is to generate an attack that evades detection while achieving the attacker's goa...
COOP
2004
13 years 10 months ago
2004
This case study describes collaborative creativity in technology-supported teams with the task of making an interactive artefact. The teams work in the iLounge, which is designed a...