Sciweavers

917 search results - page 68 / 184
» Comparison of Data Structures for Computing Formal Concepts
Sort
View
ACSC
2002
IEEE
15 years 2 months ago
Suffix Vector: Space- and Time-Efficient Alternative to Suffix Trees
Suffix trees are versatile data structures that are used for solving many string-matching problems. One of the main arguments against widespread usage of the structure is its spac...
Krisztián Monostori, Arkady B. Zaslavsky, H...
MICCAI
2005
Springer
15 years 10 months ago
Bone Enhancement Filtering: Application to Sinus Bone Segmentation and Simulation of Pituitary Surgery
We present a novel multi-scale bone enhancement measure that can be used to drive a geometric flow to segment bone structures. This measure has the essential properties to be incor...
Maxime Descoteaux, Michel A. Audette, Kiyoyuki Chi...
CORR
2010
Springer
85views Education» more  CORR 2010»
14 years 10 months ago
Generic design of Chinese remaindering schemes
We propose a generic design for Chinese remainder algorithms. A Chinese remainder computation consists in reconstructing an integer value from its residues modulo non coprime inte...
Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis ...
UC
2009
Springer
15 years 4 months ago
Computing Domains of Attraction for Planar Dynamics
In this note we investigate the problem of computing the domain of attraction of a flow on R2 for a given attractor. We consider an operator that takes two inputs, the description...
Daniel S. Graça, Ning Zhong
TLCA
2007
Springer
15 years 3 months ago
Two Session Typing Systems for Higher-Order Mobile Processes
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
Dimitris Mostrous, Nobuko Yoshida