Publications from 2025
-
A calculus of substitutions for DPL Article
Studia Logica, 357-387.January 2001 -
January 2001
-
Quantum Kolmogorov complexity based on classical descriptions Article
IEEE Transactions on Information Theory, 47(6), 2464-2479.January 2001 -
A note on consistent estimation of multivariate parameters in ergodic diffusion models Article
Scandinavian Journal of Statistics, 28(4), 617-623.January 2001 -
The algebra of quasi-symmetric functions is free over the integers Article
Advances in Mathematics, 164(2), 283-300.January 2001 -
Relativistic Lamé functions revisited In Proceedings
January 2001 -
January 2001
-
Velocity Estimation of Spots in Three-Dimensional Confocal Image Sequences of Living Cells Article
Cytometry, 43(4), 261-272.January 2001 -
Interaction in the Segmentation of Medical Images: A Survey Article
Medical Image Analysis, 5(2), 127-142.January 2001 -
Scale Dependency of Image Derivatives for Feature Measurement in Curvilinear Structures Article
International Journal of Computer Vision, 42(3), 177-189.January 2001 -
Filter Image Browsing: Interactive Image Retrieval by Using Database Overviews Article
International Journal on Multimedia Tools and Applications, 15(1), 83-103.January 2001 -
Face Detection by Aggregated Bayesian Network Classifiers In Proceedings
January 2001 -
Decomposition of Separable Concave Structuring Functions Article
Journal of Mathematical Imaging and Vision, 15(3), 181-195.January 2001 -
Color Invariance Article
IEEE Transactions on Pattern Analysis and Machine Intelligence, 23(12), 1338-1350.January 2001 -
Color Constant Ratio Gradients for Image Segmentation and Similarity of Texture Objects In Proceedings
January 2001 -
A Minimum Cost Approach for Segmenting Networks of Lines Article
International Journal of Computer Vision, 43(2), 99-111.January 2001 -
Pattern Formation in Electric Discharges Miscellaneous
January 2001 -
Pattern forming systems: universal and specific Miscellaneous
January 2001 -
January 2001
-
Verifying termination and error-freedom of logic programs with block declarations Article
Theory and Practice of Logic Programming, 1(4), 447-486.January 2001 -
Clustering methods based on variational analysis in the space of measures Article
Biometrika, 88(4), 1021-1033.January 2001 -
January 2001
-
January 2001
-
Per-pixel shading Tech Report
January 2001 -
SMIL 2.0: Overview, Concepts, and Structure Article
IEEE MultiMedia, 8(4), 82-88.January 2001 -
Chapter 12: Authoring Systems Book Chapter
January 2001 -
January 2001
-
Adaptive wavelet lifting for image retrieval In Proceedings
January 2001 -
Pattern Formation in Electric Discharges Article
ERCIM News, 56-57.January 2001 -
Pattern Forming Systems: Universla and Specific Book Chapter
January 2001 -
A process algebra for interworkings Book Chapter
January 2001 -
Designing Annotation Before It's Needed In Proceedings
January 2001 -
New media semiotics - computation and aesthetic function In Proceedings
January 2001 -
Categorical, Narrative, and Hybrid Behavior Generation in the GENIE Environment for Interactive Narrative Virtual Worlds In Proceedings
January 2001 -
The Rise and Fall of Multimedia Authoring In Proceedings
January 2001 -
January 2001
-
Querying XML Documents Made Easy: Nearest Concept Queries In Proceedings
January 2001 -
Selectivity Estimation of Complex Spatial Queries In Proceedings
January 2001 -
January 2001
-
Macro- and Micro- Parallelism in a DBMS In Proceedings
January 2001 -
January 2001
-
Flexible and scalable digital library search In Proceedings
January 2001 -
Solving Non-Binary CSPs Using the Hidden Variable Encoding In Proceedings
January 2001 -
January 2001
-
Experiences with IR Top N optimization in a main memory DBMS: applying `the database approach' in new domains In Proceedings
January 2001 -
Exact matching in image databases In Proceedings
January 2001 -
January 2001
-
January 2001
-
January 2001
-
January 2001
-
A Godunov-type scheme for capturing water waves In Proceedings
January 2001 -
Numerical solution of steady free-surface Navier-Stokes flow In Proceedings
January 2001 -
January 2001
-
Relativistic Lamé functions revisited In Proceedings
January 2001 -
On the Construction of Deflation-based Preconditioners In Proceedings
January 2001 -
High-order time-accurate parallel schemes for parabolic singularly perturbed problems with convection In Proceedings
January 2001 -
January 2001
-
STS: a structural theory of sets In Proceedings
January 2001 -
A comparison of the Sherali-Adams, Lovász-Schrijver and Lasserre relaxations for 0-1 programming Tech Report
January 2001 -
January 2001
-
January 2001
-
Pattern Formation in Electric Discharges Book Chapter
January 2001 -
Computer verification of the Ankeny-Artin-Chowla conjecture for all primes less than $100,000,000,000$ Article
Mathematics of Computation, 70(235), 1311-1328.January 2001 -
On the sparsity order of a graph and its deficiency in chordality Article
Combinatorica, 543-570.January 2001 -
Tighter linear and semidefinite relaxations for max-cut based on the Lov\'asz-Schrijver lift-and-project procedure. Article
SIAM Journal on Optimization, 12(2), 345-375.January 2001 -
Local scale invariance and contingent claim pricing Article
International Journal of Theoretical and Applied Finance, 4(1), 1-21.January 2001 -
Local scale invariance and contingent claim pricing II. Path-dependent contingent claims. Article
International Journal of Theoretical and Applied Finance, 4(1), 23-43.January 2001 -
A diffusion-convection problem with drainage arising in the ecology of mangroves Article
Interfaces and Free Boundaries, 3(1), 15-44.January 2001 -
Finite contractions of graphs with polynomial growth Article
European Journal of Combinatorics, 22(1), 85-90.January 2001 -
Approximate factorization for time-dependent partial differential equations Article
Journal of Computational and Applied Mathematics, 447-466.January 2001 -
On the construction of deflation-based preconditioners Article
SIAM Journal on Scientific Computing, 442-462.January 2001 -
Parallel iteration of the extended backward differentiation formulas Article
IMA Journal of Numerical Analysis, 21(1), 367-385.January 2001 -
A numerical study of mixed parabolic-gradient systems In Proceedings
January 2001 -
Tableau reasoning and programming with dynamic first order logic Article
Logic Journal of the IGPL, 9(3), 411-445.January 2001 -
An example of non-convex minimization and an application to Newton's problem of the body of least resistance Article
Annales de l'Institut Henri Poincaré - Nonlinear Analysis, 18(2), 179-198.January 2001 -
Solution of time-dependent advection-diffusion problems with the sparse-grid combination technique and a Rosenbrock solver Article
Computational Methods in Applied Mathematics, 1(1), 86-98.January 2001 -
Designing Annotation Before It's Needed In Proceedings
January 2001 -
New media semiotics - computation and aesthetic function In Proceedings
January 2001 -
Categorical, Narrative, and Hybrid Behavior Generation in the GENIE Environment for Interactive Narrative Virtual Worlds In Proceedings
January 2001 -
Asymptotic results for injection of reactive solutes from a three-dimensional well Article
Journal of Mathematical Analysis and Applications, 260(2), 367-383.January 2001 -
The Rise and Fall of Multimedia Authoring In Proceedings
January 2001 -
January 2001
-
High-order time-accurate parallel schemes for parabolic singularly perturbed problems with convection In Proceedings
January 2001 -
A flexible authoring process for collaborative authoring based on document fragments and contracts In Proceedings
January 2001 -
Newton's problem of the body of minimal resistance in the class of convex developable functions Article
Mathematische Nachrichten, 153-176.January 2001 -
January 2001
-
A correlation inequality for connection events in percolation Article
Annals of Probability, 29(1), 123-126.January 2001 -
Exact sampling from conditional Boolean models with applications to maximum likelihood inference Article
Advances in Applied Probability, 33(2), 339-353.January 2001 -
The Role of High-level and Low-level Features in Style-based Retrieval and Generation of Multimedia Presentations Article
New Review of Hypermedia and Multimedia, 39-65.January 2001 -
Multimedia Standards: Building Blocks of the Web Article
IEEE MultiMedia, 13-15.January 2001 -
Play the Game Article
IEEE MultiMedia, 8-10.January 2001 -
Denotative and Connotative Semantics in Hypermedia: Proposal for a Semiotic-Aware Architecture Article
New Review of Hypermedia and Multimedia, 7-37.January 2001 -
SMIL 2.0: XML For Web Multimedia Article
IEEE Internet Computing, 78-84.January 2001 -
On nonoscillating integrals for computing inhomogeneous Airy functions Article
Mathematics of Computation, 1183-1194.January 2001 -
Algebraic process verification Book Chapter
January 2001 -
Probabilistic model for the growth of thesauri Article
Acta Applicandae Mathematicae, 67(3), 237-252.January 2001 -
Running a job on a collection of partly available machines, with on-line restarts Article
Acta Informatica, 37(10), 727-742.January 2001 -
Process algebra with recursive operations Book Chapter
January 2001 -
A process algebra for interworkings Book Chapter
January 2001 -
Quantum entanglement and communication complexity Article
SIAM Journal on Computing, 30(6), 1829-1841.January 2001