6598 search results - page 151 / 1320 » Graph Theory with Applications |
170
click to vote
MOBICOM
2012
ACM
13 years 7 months ago
2012
ACM
While a natural fit for modeling and understanding mobile networks, time-varying graphs remain poorly understood. Indeed, many of the usual concepts of static graphs have no obvi...
162
click to vote
RSCTC
2000
Springer
15 years 8 months ago
2000
Springer
The perception-based theory of probabilistic reasoning which is outlined in this paper is not in the traditional spirit. Its principal aim is to lay the groundwork for a radical e...
114
click to vote
TYPES
2000
Springer
15 years 8 months ago
2000
Springer
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...
247
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
122
click to vote
APN
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological sys