Sciweavers

20 search results - page 3 / 4
» Studying Word Sketches for Russian
Sort
View
SG
2007
Springer
14 years 4 days ago
A Sketch-Based Interface for Modeling Myocardial Fiber Orientation
: We propose a sketch-based interface for modeling the myocardial fiber orientation required in the electrophysiological simulation of the heart, especially the ventricles. The use...
Kenshi Takayama, Takeo Igarashi, Ryo Haraguchi, Ka...
TAMC
2007
Springer
14 years 4 days ago
Working with the LR Degrees
We say that A ≤LR B if every B-random number is A-random. Intuitively this means that if oracle A can identify some patterns on some real γ, oracle B can also find patterns on ...
George Barmpalias, Andrew E. M. Lewis, Mariya Ivan...
PODS
2008
ACM
211views Database» more  PODS 2008»
14 years 6 months ago
The power of two min-hashes for similarity search among hierarchical data objects
In this study we propose sketching algorithms for computing similarities between hierarchical data. Specifically, we look at data objects that are represented using leaf-labeled t...
Sreenivas Gollapudi, Rina Panigrahy
SAT
2007
Springer
118views Hardware» more  SAT 2007»
14 years 4 days ago
Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
Arist Kojevnikov
ICWE
2007
Springer
14 years 5 days ago
Structural Patterns for Descriptive Documents
Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specific...
Antonina Dattolo, Angelo Di Iorio, Silvia Duca, An...