Sciweavers

497 search results - page 11 / 100
» On combinations of local theory extensions
Sort
View
IJBC
2008
112views more  IJBC 2008»
14 years 11 months ago
Computation and Visualization of bifurcation Surfaces
The localization of critical parameter sets called bifurcations is often a central task of the analysis of a nonlinear dynamical system. Bifurcations of codimension 1 that can be ...
Dirk Stiefs, Thilo Gross, Ralf Steuer, Ulrike Feud...
WWW
2006
ACM
16 years 11 days ago
One document to bind them: combining XML, web services, and the semantic web
We present a paradigm for uniting the diverse strands of XML-based Web technologies by allowing them to be incorporated within a single document. This overcomes the distinction be...
Harry Halpin, Henry S. Thompson
TIT
2002
65views more  TIT 2002»
14 years 11 months ago
On the importance of combining wavelet-based nonlinear approximation with coding strategies
This paper provides a mathematical analysis of transform compression in its relationship to linear and nonlinear approximation theory. Contrasting linear and nonlinear approximatio...
Albert Cohen, Ingrid Daubechies, Onur G. Guleryuz,...
CORR
2010
Springer
155views Education» more  CORR 2010»
14 years 9 months ago
A Proof Theoretic Analysis of Intruder Theories
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...
Alwen Tiu, Rajeev Goré, Jeremy E. Dawson
ISER
2000
Springer
78views Robotics» more  ISER 2000»
15 years 3 months ago
Map Building and Localization for Underwater Navigation
: A framework for underwater navigation by combining raw information from different sensors into a single scene description is presented. It is shown that features extracted from s...
Somajyoti Majumder, Julio Rosenblatt, Steve Schedi...