3008 search results - page 106 / 602 » Independence in connected graphs |
167
click to vote
DIGITALCITIES
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces the universal mobile interface that allows users to navigate themselves into multiple heterogeneous digital cites with a single interface. The universal mobi...
167
click to vote
FCT
1999
Springer
15 years 10 months ago
1999
Springer
Local event structures and local traces are generalizations of the classical prime event structures and Mazurkiewicz’ traces in which independence is no longer a global binary pr...
182
click to vote
INFOCOM
1995
IEEE
15 years 10 months ago
1995
IEEE
An architecture and associated protocols are presented for managing multicast addresses and performing connection control for applications that use multicast communication faciliti...
158
click to vote
TABLEAUX
1995
Springer
15 years 10 months ago
1995
Springer
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
162
click to vote
ICARCV
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract—Quantized feedback control and quantized estimation have attracted a lot of attention in recent years with many results available on both research topics. In this paper,...