44 search results - page 4 / 9 » Connection Relations and Quantifier Scope |
94
Voted
CORR
2004
Springer
15 years 7 days ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
101
click to vote
ISR
2010
14 years 11 months ago
2010
We study how electronic markets that facilitate broader inter-firm transactions affect the vertical scope of emerging IT-enabled extended enterprises. We do so by modeling firms...
106
Voted
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— We present the results of simulation experiments that compare end-to-end error management (used in controlled access MAC protocols) against hop-by-hop error management (used in...
128
Voted
JMIV
1998
15 years 2 days ago
1998
Linear scale-space theory provides a useful framework to quantify the differential and integral geometry of spatio-temporal input images. In this paper that geometry comes about by...
84
Voted
INFOCOM
2003
IEEE
15 years 5 months ago
2003
IEEE
—We present an information-theoretic framework for network management for recovery from nonergodic link failures. Building on recent work in the field of network coding, we desc...