2268 search results - page 341 / 454 » The Essence of Form Abstraction |
KI
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Collective phenomena and their associated movement patterns are ubiquitous in everyday life. However, even though we need to be able to reason about these phenomena, espe...
120
click to vote
ENGL
2007
15 years 1 months ago
2007
Abstract—In any formal theory, a proof is a sequence of well formed formulas (wff). Here, we consider the digraph whose nodes are proofs and the edges are pairs of proofs such t...
113
click to vote
MCSS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We give a further elaboration of the fundamental connections between Lax-Phillips scattering, conservative input/state/output linear systems and Sz.-Nagy-Foias model theo...
132
click to vote
JSAC
2006
15 years 1 months ago
2006
Abstract-- Topology discovery systems are starting to be introduced in the form of easily and widely deployed software. Unfortunately, the research community has not examined the p...
108
click to vote
MMS
2008
15 years 1 months ago
2008
Abstract Multimedia applications operating in today's Internet have to employ some form of error resilience to cope with losses. For interactive applications with strict delay...