4201 search results - page 483 / 841 » Interaction graphs: Additives |
159
click to vote
PADS
2006
ACM
16 years 24 days ago
2006
ACM
The development of realistic topology generators that produce faithful replicas of Internet topologies is critical for conducting realistic simulation studies of Internet protocol...
201
click to vote
ICDM
2005
IEEE
16 years 14 days ago
2005
IEEE
Organizing textual documents into a hierarchical taxonomy is a common practice in knowledge management. Beside textual features, the hierarchical structure of directories reflect...
187
click to vote
ICNP
2005
IEEE
16 years 13 days ago
2005
IEEE
Existing geographic routing algorithms depend on the planarization of the network connectivity graph for correctness, and the planarization process gives rise to a welldefined no...
195
click to vote
ASP
2005
Springer
16 years 12 days ago
2005
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
166
click to vote
ATVA
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...