Surface Volume Estimation of Digitized Hyperplanes Using Weighted Local Configurations (Englisch)
- Neue Suche nach: Lindblad, J.
- Neue Suche nach: Lindblad, J.
- Neue Suche nach: Andres, Eric
- Neue Suche nach: Damiand, Guillaume
- Neue Suche nach: Lienhardt, Pascal
In:
Discrete geometry for computer imagery: 12th International Conference, DGCI 2005, Poitiers, France, April 13-15, 2005 : proceedings
;
252-262
;
2005
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Surface Volume Estimation of Digitized Hyperplanes Using Weighted Local Configurations
-
Beteiligte:
-
Kongress:International conference; 12th, Discrete geometry for computer imagery: 12th International Conference, DGCI 2005, Poitiers, France, April 13-15, 2005 : proceedings ; 2005 ; Poitiers, France
-
Erschienen in:LECTURE NOTES IN COMPUTER SCIENCE ; 252-262
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin , [London]
-
Erscheinungsdatum:01.01.2005
-
Format / Umfang:11 pages
-
Anmerkungen:Held in conjunction with the 5th Workshop on graph-based representations in pattern recognition, April 11-13 2005. Conference proceedings. Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Relativistic Scale-SpacesBurgeth, B. / Didas, S. / Weickert, J. et al. | 2005
- 1
-
On the Impact of Bursting on TCP PerformanceBlanton, E. / Allman, M. et al. | 2005
- 1
-
Specification Before Satisfaction: The Case for Research into Obtaining the Right SpecificationJones, C. B. et al. | 2005
- 1
-
Increasing Interconnection Network Connectivity for Reducing Operator Complexity in Asynchronous Vision SystemsGies, V. / Bernard, T. M. et al. | 2005
- 1
-
Confluent Term Rewriting SystemsToyama, Y. et al. | 2005
- 1
-
Completeness Theorems and Lambda-CalculusCoquand, T. et al. | 2005
- 2
-
Generalized Innermost Rewritingvan de Pol, J. / Zantema, H. et al. | 2005
- 6
-
Visualising Larger State Spaces in ProBLeuschel, M. / Turner, E. et al. | 2005
- 10
-
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: AbstractFelty, A. P. et al. | 2005
- 11
-
Can Proofs Be Animated by Games?Hayashi, S. et al. | 2005
- 11
-
Geometric Robot MappingLakaemper, R. / Latecki, L. J. / Sun, X. / Wolter, D. et al. | 2005
- 13
-
Regularity and Scale-Space Properties of Fractional High Order Linear FilteringDidas, S. / Burgeth, B. / Imiya, A. / Weickert, J. et al. | 2005
- 13
-
A Study of Burstiness in TCP FlowsShakkottai, S. / Brownlee, N. / claffy, k. et al. | 2005
- 17
-
Orderings for Innermost TerminationFernandez, M.-L. / Godoy, G. / Rubio, A. et al. | 2005
- 23
-
Untyped Algorithmic Equality for Martin-Lof's Logical Framework with Surjective PairsAbel, A. / Coquand, T. et al. | 2005
- 23
-
Discrete Geometry Applied in Hard Real-Time Systems ValidationLargeteau, G. / Geniet, D. / Andres, E. et al. | 2005
- 24
-
Non-atomic Refinement in Z and CSPDerrick, J. / Wehrheim, H. et al. | 2005
- 26
-
Image Features and the 1-D, 2^n^d Order Gaussian Derivative JetGriffin, L. D. / Lillholm, M. et al. | 2005
- 27
-
On the Stationarity of TCP Bulk Data TransfersUrvoy-Keller, G. et al. | 2005
- 32
-
Leanest Quasi-orderingsDershowitz, N. / Ellerman, E. C. et al. | 2005
- 34
-
Hierarchical Watersheds Within the Combinatorial Pyramid FrameworkBrun, L. / Mokhtari, M. / Meyer, F. et al. | 2005
- 38
-
A New Technique for Local Symmetry EstimationMellor, M. / Brady, M. et al. | 2005
- 39
-
The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is DecidableAehlig, K. / de Miranda, J. G. / Ong, C.-H. L. et al. | 2005
- 41
-
Toward the Accurate Identification of Network ApplicationsMoore, A. W. / Papagiannaki, K. et al. | 2005
- 45
-
Process Refinement in BDunne, S. / Conroy, S. et al. | 2005
- 45
-
Optimal Design of 2D/3D Hierarchical Content-Based Meshes for MultimediaCelasun, I. / Melkisetoglu, R. / Tekalp, A. M. et al. | 2005
- 46
-
Abstract ModularityAbbott, M. / Ghani, N. / Luth, C. et al. | 2005
- 50
-
Geometry of Isophote CurvesDiatta, A. / Giblin, P. J. et al. | 2005
- 55
-
A Traffic Identification Method and Evaluations for a Pure P2P ApplicationOhzahata, S. / Hagiwara, Y. / Terada, M. / Kawashima, K. et al. | 2005
- 55
-
A Feasible Algorithm for Typing in Elementary Affine LogicBaillot, P. / Terui, K. et al. | 2005
- 56
-
Receptive Fields for Generalized Map Pyramids: The Notion of Generalized OrbitGrasset-Simon, C. / Damiand, G. / Lienhardt, P. et al. | 2005
- 61
-
Union of Equational Theories: An Algebraic ApproachHoffman, P. et al. | 2005
- 62
-
Stability of Top-Points in Scale SpaceBalmachnova, E. / Florack, L. M. J. / Platel, B. / Kanters, F. M. W. / Romeny, B. M. t. H. et al. | 2005
- 65
-
CZT: A Framework for Z ToolsMalik, P. / Utting, M. et al. | 2005
- 68
-
Resolution Pyramids on the FCC and BCC GridsStrand, R. / Borgefors, G. et al. | 2005
- 69
-
Analysis of Peer-to-Peer Traffic on ADSLPlissonneau, L. / Costeux, J.-L. / Brown, P. et al. | 2005
- 71
-
Practical Inference for Type-Based Termination in a Polymorphic SettingBarthe, G. / Gregoire, B. / Pastawski, F. et al. | 2005
- 73
-
Discrete Representation of Top Points via Scale-Space TessellationPlatel, B. / Demirci, M. F. / Shokoufandeh, A. / Florack, L. M. J. / Kanters, F. M. W. / Romeny, B. M. t. H. / Dickinson, S. J. et al. | 2005
- 74
-
Equivariant UnificationCheney, J. et al. | 2005
- 79
-
The Mojette Transform: The First Ten YearsGuedon, J. / Normand, N. et al. | 2005
- 83
-
Analysis of Communities of Interest in Data NetworksAiello, W. / Kalmanek, C. / McDaniel, P. / Sen, S. / Spatscheck, O. / Van der Merwe, J. et al. | 2005
- 85
-
A Linear Image Reconstruction Framework Based on Sobolev Type Inner ProductsJanssen, B. / Kanters, F. / Duits, R. / Florack, L. / Romeny, B. t. H. et al. | 2005
- 85
-
Model Checking Z Specifications Using SALSmith, G. / Wildman, L. et al. | 2005
- 86
-
Relational Reasoning in a Nominal Semantics for StorageBenton, N. / Leperchey, B. et al. | 2005
- 90
-
Faster Basic Syntactic Mutation with Sorts for Some Separable Equational TheoriesLynch, C. / Morawska, B. et al. | 2005
- 92
-
On the Stability of Reconstructing Lattice Sets from X-Rays Along Two DirectionsAlpers, A. / Brunetti, S. et al. | 2005
- 97
-
Binary Versus Analogue Path Monitoring in IP NetworksNguyen, H. X. / Thiran, P. et al. | 2005
- 97
-
Multi-scale Singularity Trees: Soft-Linked Scale-Space HierarchiesSomchaipeng, K. / Sporring, J. / Kreiborg, S. / Johansen, P. et al. | 2005
- 102
-
Filters on CoInductive Streams, an Application to Eratosthenes' SieveBertot, Y. et al. | 2005
- 104
-
Reconstruction of Decomposable Discrete Sets from Four ProjectionsBalazs, P. et al. | 2005
- 104
-
Proving Properties of Stateflow Models Using ISO Standard Z and CADiZToyn, I. / Galloway, A. et al. | 2005
- 105
-
Unification in a Class of Permutative Theoriesde la Tour, T. B. / Echenim, M. et al. | 2005
- 107
-
Image Deblurring in the Presence of Salt-and-Pepper NoiseBar, L. / Sochen, N. / Kiryati, N. et al. | 2005
- 108
-
Exploiting the IPID Field to Infer Network Path and End-System CharacteristicsChen, W. / Huang, Y. / Ribeiro, B. F. / Suh, K. / Zhang, H. / de Souza e Silva, E. / Kurose, J. / Towsley, D. et al. | 2005
- 115
-
A Tomographical Characterization of L-Convex PolyominoesCastiglione, G. / Frosini, A. / Restivo, A. / Rinaldi, S. et al. | 2005
- 116
-
Recursive Functions with Higher Order DomainsBove, A. / Capretta, V. et al. | 2005
- 119
-
Phase Contrast MRI Segmentation Using Velocity and IntensityPersson, M. / Solem, J. E. / Markenroth, K. / Svensson, J. / Heyden, A. et al. | 2005
- 120
-
Dependency Pairs for Simply Typed Term RewritingAoto, T. / Yamada, T. et al. | 2005
- 121
-
New Methods for Passive Estimation of TCP Round-Trip TimesVeal, B. / Li, K. / Lowenthal, D. et al. | 2005
- 124
-
A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract SystemsAttiogbe, J. C. et al. | 2005
- 126
-
Computerized Tomography with Digital Lines and Linear ProgrammingFeschet, F. / Gerard, Y. et al. | 2005
- 131
-
Active Shape Models and Segmentation of the Left Ventricle in EchocardiographyParagios, N. / Jolly, M.-P. / Taron, M. / Ramaraj, R. et al. | 2005
- 131
-
Elementary Affine Logic and the Call-by-Value Lambda CalculusCoppola, P. / Lago, U. D. / Rocca, S. R. D. et al. | 2005
- 135
-
Detecting Duplex Mismatch on EthernetShalunov, S. / Carlson, R. et al. | 2005
- 135
-
Universal Algebra for Termination of Higher-Order RewritingHamana, M. et al. | 2005
- 136
-
A Discrete Modulo N Projective Radon Transform for N x N ImagesKingston, A. / Svalbe, I. et al. | 2005
- 142
-
An Extension of Event B for Developing Grid SystemsBostrom, P. / Walden, M. et al. | 2005
- 143
-
A Variational Image Registration Approach Based on Curvature Scale SpaceHenn, S. / Witsch, K. et al. | 2005
- 146
-
Rank-2 Intersection and Polymorphic RecursionDamiani, F. et al. | 2005
- 148
-
Two Remarks on Reconstructing Binary Vectors from Their Absorbed ProjectionsKuba, A. / Woeginger, G. J. et al. | 2005
- 149
-
Improved Algorithms for Network Topology DiscoveryDonnet, B. / Friedman, T. / Crovella, M. et al. | 2005
- 150
-
Quasi-interpretations and Small Space BoundsBonfante, G. / Marion, J.-Y. / Moyen, J.-Y. et al. | 2005
- 153
-
How to Obtain a Lattice Basis from a Discrete Projected SpaceNormand, N. / Servieres, M. / Guedon, J. et al. | 2005
- 155
-
A Scale-Space Analysis of a Contour Figure Using a Crystalline FlowHontani, H. / Suzuki, Y. / Giga, Y. / Giga, M.-H. / Deguchi, K. et al. | 2005
- 161
-
Local Characterization of a Maximum Set of Digital (26,6)-SurfacesCiria, J. C. / de Miguel, A. / Dominguez, E. / Frances, A. R. / Quintero, A. et al. | 2005
- 162
-
The Challenge of Probabilistic Event B (Extended Abstract)Morgan, C. / Hoang, T. S. / Abrial, J.-R. et al. | 2005
- 162
-
Arithmetical Proofs of Strong Normalization Results for the Symmetric Lambdamu-CalculusDavid, R. / Nour, K. et al. | 2005
- 163
-
Using Simple Per-Hop Capacity Metrics to Discover Link Layer Network TopologyAlcock, S. / McGregor, A. / Nelson, R. et al. | 2005
- 165
-
A Sufficient Completeness Reasoning Tool for Partial SpecificationsHendrix, J. / Clavel, M. / Meseguer, J. et al. | 2005
- 167
-
Multiscale Active ContoursBresson, X. / Vandergheynst, P. / Thiran, J.-P. et al. | 2005
- 172
-
Algorithms for the Topological WatershedCouprie, M. / Najman, L. / Bertrand, G. et al. | 2005
- 172
-
Requirements as Conjectures: Intuitive DVD Menu NavigationRossmorris, J. / Stepney, S. et al. | 2005
- 175
-
Tyrolean Termination ToolHirokawa, N. / Middeldorp, A. et al. | 2005
- 177
-
Revisiting Internet AS-Level Topology DiscoveryDimitropoulos, X. A. / Krioukov, D. V. / Riley, G. F. et al. | 2005
- 179
-
Subtyping Recursive Types Modulo Associative Commutative ProductsDi Cosmo, R. / Pottier, F. / Remy, D. et al. | 2005
- 179
-
Riesz-Transforms Versus Derivatives: On the Relationship Between the Boundary Tensor and the Energy TensorKothe, U. / Felsberg, M. et al. | 2005
- 183
-
The Class of Simple Cube-Curves Whose MLPs Cannot Have Vertices at Grid PointsLi, F. / Klette, R. et al. | 2005
- 185
-
Call-by-Value Is Dual to Call-by-Name - ReloadedWadler, P. et al. | 2005
- 187
-
A Prospective- Value Semantics for the GSLZeyda, F. / Stoddart, B. / Dunne, S. et al. | 2005
- 189
-
Application, Network and Link Layer Measurements of Streaming Video over a Wireless Campus NetworkLi, F. / Chung, J. / Li, M. / Wu, H. / Claypool, M. / Kinicki, R. et al. | 2005
- 192
-
GET: The Connection Between Monogenic Scale-Space and Gaussian DerivativesFelsberg, M. / Kothe, U. et al. | 2005
- 194
-
Galois Embedding from Polymorphic Types into Existential TypesFujita, K.-e. et al. | 2005
- 195
-
Computation of Homology Groups and GeneratorsPeltier, S. / Alayrangues, S. / Fuchs, L. / Lachaud, J.-O. et al. | 2005
- 203
-
Measurement Based Analysis of the Handover in a WLAN MIPv6 ScenarioCabellos-Aparicio, A. / Serral-Gracia, R. / Jakab, L. / Domingo-Pascual, J. et al. | 2005
- 203
-
Retrenchment and the B-ToolkitBanach, R. / Fraser, S. et al. | 2005
- 204
-
Lambdamu-Calculus and Duality: Call-by-Name and Call-by-ValueRocheteau, J. et al. | 2005
- 204
-
Matrix-Valued Filters as Convex ProgramsWelk, M. / Becker, F. / Schnorr, C. / Weickert, J. et al. | 2005
- 206
-
Inclusion Relationships and Homotopy Issues in Shape Interpolation for Binary ImagesVidal, J. / Crespo, J. / Maojo, V. et al. | 2005
- 209
-
On the Degeneracy of Sigma-Types in Presence of Computational Classical LogicHerbelin, H. et al. | 2005
- 215
-
A Distributed Passive Measurement InfrastructureArlos, P. / Fiedler, M. / Nilsson, A. A. et al. | 2005
- 216
-
Discrete Bisector Function and Euclidean SkeletonCouprie, M. / Zrour, R. et al. | 2005
- 217
-
Retinex by Two Bilateral FiltersElad, M. et al. | 2005
- 219
-
Reduction in a Linear Lambda-Calculus with Applications to Operational SemanticsSimpson, A. et al. | 2005
- 221
-
Semantic Cut Elimination in the Intuitionistic Sequent CalculusHermant, O. et al. | 2005
- 222
-
Refinement and Reachability in Event BAbrial, J.-R. / Cansell, D. / Mery, D. et al. | 2005
- 228
-
lambdaMON - A Passive Monitoring Facility for DWDM Optical NetworksMicheel, J. B. et al. | 2005
- 228
-
Pixel Queue Algorithm for Geodesic Distance TransformsIkonen, L. et al. | 2005
- 230
-
Estimation of the Optimal Variational Parameter via SNR AnalysisGilboa, G. / Sochen, N. A. / Zeevi, Y. Y. et al. | 2005
- 234
-
The Elimination of Nesting in SPCFLaird, J. et al. | 2005
- 235
-
Higher-Order Matching in the Linear Lambda Calculus in the Absence of Constants Is NP-CompleteYoshinaka, R. et al. | 2005
- 236
-
Internet Routing Policies and Round-Trip-TimesZheng, H. / Lua, E. K. / Pias, M. / Griffin, T. G. et al. | 2005
- 240
-
Analysis and Comparative Evaluation of Discrete Tangent EstimatorsLachaud, J.-O. / Vialard, A. / de Vieilleville, F. et al. | 2005
- 242
-
A Contrast Invariant Approach to Motion EstimationCaselles, V. / Garrido, L. / Igual, L. et al. | 2005
- 242
-
A Rigorous Foundation for Pattern-Based Design ModelsKim, S.-K. / Carrington, D. et al. | 2005
- 246
-
Naming Proofs in Classical Propositional LogicLamarche, F. / Strassburger, L. et al. | 2005
- 250
-
Localized Fairness: A Rewriting SemanticsMeseguer, J. et al. | 2005
- 251
-
Traffic Matrix Reloaded: Impact of Routing ChangesTeixeira, R. / Duffield, N. / Rexford, J. / Roughan, M. et al. | 2005
- 252
-
Surface Volume Estimation of Digitized Hyperplanes Using Weighted Local ConfigurationsLindblad, J. et al. | 2005
- 254
-
Vortex and Source Particles for Fluid Motion EstimationCuzol, A. / Memin, E. et al. | 2005
- 262
-
Reducibility and -Lifting for Computation TypesLindley, S. / Stark, I. et al. | 2005
- 262
-
An Object-Oriented Structuring for Z Based on ViewsAmalio, N. / Polack, F. / Stepney, S. et al. | 2005
- 263
-
Rectification of the Chordal Axis Transform and a New Criterion for Shape DecompositionPrasad, L. et al. | 2005
- 264
-
Partial Inversion of Constructor Term Rewriting SystemsNishida, N. / Sakai, M. / Sakabe, T. et al. | 2005
- 265
-
Some Observations of Internet Stream LifetimesBrownlee, N. et al. | 2005
- 267
-
Discrete Orthogonal Decomposition and Variational Fluid Flow EstimationYuan, J. / Ruhnau, P. / Memin, E. / Schnorr, C. et al. | 2005
- 276
-
Generalized Functionality for Arithmetic Discrete PlanesBerthe, V. / Fiorio, C. / Jamet, D. et al. | 2005
- 278
-
Privacy in Data Mining Using Formal MethodsMatwin, S. / Felty, A. / Hernadvolgyi, I. / Capretta, V. et al. | 2005
- 278
-
Spectroscopy of Traceroute DelaysBroido, A. / Hyun, Y. / claffy, k. et al. | 2005
- 279
-
Discontinuity-Preserving Computation of Variational Optic Flow in Real-TimeBruhn, A. / Weickert, J. / Kohlberger, T. / Schnorr, C. et al. | 2005
- 279
-
Component Reuse in B Using ACL2Zimmermann, Y. / Toma, D. et al. | 2005
- 279
-
Natural Narrowing for General Term Rewriting SystemsEscobar, S. / Meseguer, J. / Thati, P. et al. | 2005
- 287
-
Complexity Analysis for Digital Hyperplane Recognition in Arbitrary Fixed DimensionBrimkov, V. E. / Dantchev, S. S. et al. | 2005
- 291
-
The Structure of Shapes Scale Space Aspects of the (pre-) Symmetry SetKuijper, A. / Olsen, O. F. et al. | 2005
- 292
-
Measuring Bandwidth Between PlanetLab NodesLee, S.-J. / Sharma, P. / Banerjee, S. / Basu, S. / Fonseca, R. et al. | 2005
- 293
-
L^3: A Linear Language with LocationsMorrisett, G. / Ahmed, A. / Fluet, M. et al. | 2005
- 294
-
The Finite Variant Property: How to Get Rid of Some Algebraic PropertiesComon-Lundh, H. / Delaune, S. et al. | 2005
- 299
-
An Elementary Algorithm for Digital Line Recognition in the General CaseBuzer, L. et al. | 2005
- 299
-
GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security PropertiesBert, D. / Potet, M.-L. / Stouls, N. et al. | 2005
- 303
-
A Non-convex PDE Scale SpaceGrasmair, M. / Lenzen, F. / Obereder, A. / Scherzer, O. / Fuchs, M. et al. | 2005
- 306
-
Comparison of Public End-to-End Bandwidth Estimation Tools on High-Speed LinksShriram, A. / Murray, M. / Hyun, Y. / Brownlee, N. / Broido, A. / Fomenkov, M. / claffy, k. et al. | 2005
- 308
-
Binding Signatures for Generic ContextsPower, J. / Tanaka, M. et al. | 2005
- 308
-
Intruder Deduction for AC-Like Equational Theories with HomomorphismsLafourcade, P. / Lugiez, D. / Treinen, R. et al. | 2005
- 311
-
Supercover Model and Digital Straight Line Recognition on Irregular Isothetic GridsCoeurjolly, D. et al. | 2005
- 316
-
Tree Edit Distances from Singularity TheoryOlsen, O. F. et al. | 2005
- 319
-
Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-ZLong, B. W. et al. | 2005
- 321
-
Traffic Classification Using a Statistical ApproachZuev, D. / Moore, A. W. et al. | 2005
- 323
-
Proving Positive Almost-Sure TerminationBournez, O. / Garnier, F. et al. | 2005
- 323
-
Discrete Epipolar GeometryHamanaka, M. / Kenmochi, Y. / Sugimoto, A. et al. | 2005
- 324
-
Proof Contexts with Late BindingPrevosto, V. / Boulme, S. et al. | 2005
- 325
-
Self-Learning IP Traffic Classification Based on Statistical Flow CharacteristicsZander, S. / Nguyen, T. / Armitage, G. et al. | 2005
- 327
-
The Stochastic Structure of ImagesGeusebroek, J.-M. et al. | 2005
- 329
-
Measured Comparative Performance of TCP StacksJansen, S. / McGregor, A. et al. | 2005
- 333
-
Applying Principles of Active Available Bandwidth Algorithms to Passive TCP TracesZangrilli, M. / Lowekamp, B. B. et al. | 2005
- 334
-
Using B as a High Level Programming Language in an Industrial Project: Roissy VALBadeau, F. / Amelot, A. et al. | 2005
- 335
-
Local Point Configurations of Discrete Combinatorial SurfacesKenmochi, Y. / Nomura, Y. et al. | 2005
- 337
-
A Network Processor Based Passive Measurement NodeRamaswamy, R. / Weng, N. / Wolf, T. et al. | 2005
- 338
-
Termination of Single-Threaded One-Rule Semi-Thue SystemsMoczydlowski, W. / Geser, A. et al. | 2005
- 339
-
The ▿-Calculus. Functional Programming with Higher-Order EncodingsSchurmann, C. / Poswolsky, A. / Sarnat, J. et al. | 2005
- 339
-
Skeletons of 3D ShapesShah, J. et al. | 2005
- 341
-
A Merged Inline Measurement Method for Capacity and Available BandwidthLe Thanh Man, C. / Hasegawa, G. / Murata, M. et al. | 2005
- 345
-
Hopcount and E2E Delay: IPv6 Versus IPv4Zhou, X. / Van Mieghem, P. et al. | 2005
- 347
-
Reversible Polygonalization of a 3D Planar Discrete Curve: Application on Discrete SurfacesSivignon, I. / Dupont, F. / Chassery, J.-M. et al. | 2005
- 349
-
Scalable Coordination Techniques for Distributed Network MonitoringSharma, M. R. / Byers, J. W. et al. | 2005
- 351
-
Scale-Space Generation via Uncertainty PrinciplesSagiv, C. / Sochen, N. A. / Zeevi, Y. Y. et al. | 2005
- 353
-
On Tree Automata that Certify Termination of Left-Linear Term Rewriting SystemsGeser, A. / Hofbauer, D. / Waldmann, J. / Zantema, H. et al. | 2005
- 353
-
Evaluating the Accuracy of Captured Snapshots by Peer-to-Peer CrawlersStutzbach, D. / Rejaie, R. et al. | 2005
- 354
-
A Lambda Calculus for Quantum Computation with Classical ControlSelinger, P. / Valiron, B. et al. | 2005
- 355
-
Development via Refinement in Probabilistic B - Foundation and Case StudyHoang, T. S. / Jin, Z. / Robinson, K. / McIver, A. / Morgan, C. et al. | 2005
- 358
-
HOTS: An OWAMP-Compliant Hardware Packet TimestamperShu, Z. / Kobayashi, K. et al. | 2005
- 359
-
Uncertain Geometry in Computer VisionVeelaert, P. et al. | 2005
- 362
-
Practical Passive Lossy Link InferenceBatsakis, A. / Malik, T. / Terzis, A. et al. | 2005
- 363
-
Scale Invariant Texture Analysis Using Multi-scale Local Autocorrelation FeaturesKang, Y. / Morooka, K. / Nagahashi, H. et al. | 2005
- 368
-
Twenty Years Later RTA CONFERENCEJouannaud, J.-P. et al. | 2005
- 368
-
Merging Network Measurement with Data TransportPapageorgiou, P. / Hicks, M. et al. | 2005
- 369
-
Continuity and Discontinuity in Lambda CalculusSeveri, P. / de Vries, F.-J. et al. | 2005
- 371
-
Optimal Blurred Segments Decomposition in Linear TimeDebled-Rennesson, I. / Feschet, F. / Rouyer-Degli, J. et al. | 2005
- 374
-
Formal Program Development with ApproximationsBoiten, E. A. / Derrick, J. et al. | 2005
- 374
-
Figure Field Analysis of Scale-Space ImageSakai, T. / Imiya, A. et al. | 2005
- 376
-
Open. Closed. Open. - REWRITINGDershowitz, N. et al. | 2005
- 383
-
Shape Preserving Digitization of Binary Images After BlurringStelldinger, P. / Kothe, U. et al. | 2005
- 386
-
Call-by-Name and Call-by-Value as Token-Passing Interaction NetsSinot, F.-R. et al. | 2005
- 386
-
Mumford-Shah Model Based Man-Made Objects Detection from Aerial ImagesCao, G. / Yang, X. / Zhou, D. et al. | 2005
- 392
-
A Low Complexity Discrete Radiosity MethodChatelier, P. Y. / Malgouyres, R. et al. | 2005
- 393
-
Practical Data Refinement for the Z Schema CalculusGroves, L. et al. | 2005
- 394
-
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying CodeFelty, A. P. et al. | 2005
- 396
-
A Multigrid Approach to Image Processingde Zeeuw, P. M. et al. | 2005
- 401
-
Avoiding Equivariance in Alpha-PrologUrban, C. / Cheney, J. et al. | 2005
- 404
-
A Statistical Approach for Geometric Smoothing of Discrete SurfacesKerautret, B. / Braquelaire, A. et al. | 2005
- 407
-
Extending the Explicit Substitution ParadigmKesner, D. / Lengrand, S. et al. | 2005
- 408
-
A Total Variation Motion Adaptive Deinterlacing SchemeKeller, S. / Lauze, F. / Nielsen, M. et al. | 2005
- 414
-
Slicing Object-Z Specifications for VerificationBruckner, I. / Wehrheim, H. et al. | 2005
- 414
-
Arbitrary 3D Resolution Discrete Ray Tracing of Implicit SurfacesStolte, N. et al. | 2005
- 417
-
Higher-Order Abstract Non-interferenceZanardini, D. et al. | 2005
- 419
-
A Geometric Formulation of Gradient Descent for Variational Problems with Moving SurfacesSolem, J. E. / Overgaard, N. C. et al. | 2005
- 423
-
Arithmetic as a Theory ModuloDowek, G. / Werner, B. et al. | 2005
- 431
-
On Image Reconstruction from Multiscale Top PointsKanters, F. / Lillholm, M. / Duits, R. / Janssen, B. / Platel, B. / Florack, L. / Romeny, B. t. H. et al. | 2005
- 434
-
Checking JML Specifications with B MachinesBouquet, F. / Dadeau, F. / Groslambert, J. et al. | 2005
- 438
-
Infinitary Combinatory Reduction SystemsKetema, J. / Simonsen, J. G. et al. | 2005
- 443
-
Texture Mapping via Spherical Multi-dimensional ScalingElad, A. / Keller, Y. / Kimmel, R. et al. | 2005
- 453
-
Proof-Producing Congruence ClosureNieuwenhuis, R. / Oliveras, A. et al. | 2005
- 454
-
Including Design Guidelines in the Formal Specification of Interfaces in ZBowen, J. / Reeves, S. et al. | 2005
- 456
-
On Similarity-Invariant Fairness MeasuresBrook, A. / Bruckstein, A. M. / Kimmel, R. et al. | 2005
- 468
-
On alpha Kernels, Levy Processes, and Natural Image StatisticsPedersen, K. S. / Duits, R. / Nielsen, M. et al. | 2005
- 469
-
The Algebra of Equality ProofsStump, A. / Tan, L.-Y. et al. | 2005
- 472
-
Some Guidelines for Formal Development of Web-Based Applications in B-MethodRezazadeh, A. / Butler, M. et al. | 2005
- 480
-
An Analysis of Variational Alignment of Curves in ImagesOvergaard, N. C. / Solem, J. E. et al. | 2005
- 484
-
On Computing Reachability Sets of Process Rewrite SystemsBouajjani, A. / Touili, T. et al. | 2005
- 492
-
Enhancing Images Painted on ManifoldsSpira, A. / Kimmel, R. et al. | 2005
- 500
-
Automata and Logics for Unranked and Unordered TreesBoneva, I. / Talbot, J.-M. et al. | 2005
- 503
-
A Two-Step Area Based Method for Automatic Tight Segmentation of Zona Pellucida in HMC Images of Human EmbryosKarlsson, A. / Overgaard, N. C. / Heyden, A. et al. | 2005
- 515
-
Relations Between Higher Order TV Regularization and Support Vector RegressionSteidl, G. / Didas, S. / Neumann, J. et al. | 2005
- 528
-
Perfusion Analysis of Nonlinear Liver Ultrasound Images Based on Nonlinear Matrix DiffusionKissi, A. / Cormier, S. / Pourcelot, L. / Bleuzen, A. / Tranquart, F. et al. | 2005
- 536
-
Stabilised Nonlinear Inverse Diffusion for Approximating Hyperbolic PDEsBreuss, M. / Brox, T. / Sonar, T. / Weickert, J. et al. | 2005
- 548
-
Sparse Finite Element Level-Sets for Anisotropic Boundary Detection in 3D ImagesWeber, M. / Blake, A. / Cipolla, R. et al. | 2005
- 561
-
A Scale Space Method for Volume Preserving Image RegistrationHaber, E. / Modersitzki, J. et al. | 2005
- 573
-
Piecewise Constant Level Set Methods and Image SegmentationLie, J. / Lysaker, M. / Tai, X.-C. et al. | 2005
- 585
-
PDE-Based Deconvolution with Forward-Backward Diffusivities and Diffusion TensorsWelk, M. / Theis, D. / Brox, T. / Weickert, J. et al. | 2005
- 598
-
Denoising of Audio Data by Nonlinear DiffusionWelk, M. / Bergmeister, A. / Weickert, J. et al. | 2005
- 610
-
A Four-Pixel Scheme for Singular Differential EquationsWelk, M. / Weickert, J. / Steidl, G. et al. | 2005
- 622
-
Isometric Embedding of Facial Surfaces into S^3Bronstein, A. M. / Bronstein, M. M. / Kimmel, R. et al. | 2005