Sciweavers

4767 search results - page 620 / 954
» Structures for Abstract Rewriting
Sort
View
TMI
2002
83views more  TMI 2002»
15 years 6 months ago
Vibro-acoustic Tissue Mammography
Abstract--A novel method for detection and imaging of microcalcifications in breast tissue is presented. The method, called vibro-acoustography, uses the radiation force of ultraso...
Mostafa Fatemi, Lester E. Wold, Azra Alizad, James...
MVA
2007
156views Computer Vision» more  MVA 2007»
15 years 6 months ago
A system for articulated tracking incorporating a clothing model
Abstract In this paper an approach for motion capture of dressed people is presented. A cloth draping method is incorporated in a silhouette based motion capture system. This leads...
Bodo Rosenhahn, Uwe G. Kersting, Katie Powell, Rei...
RC
2007
78views more  RC 2007»
15 years 6 months ago
Monte-Carlo-Type Techniques for Processing Interval Uncertainty, and Their Potential Engineering Applications
Abstract. In engineering applications, we need to make decisions under uncertainty. Traditionally, in engineering, statistical methods are used, methods assuming that we know the p...
Vladik Kreinovich, Jan Beck, Carlos Ferregut, Arac...
CONCUR
2010
Springer
15 years 5 months ago
On the Use of Non-deterministic Automata for Presburger Arithmetic
Abstract. A well-known decision procedure for Presburger arithmetic uses deterministic finite-state automata. While the complexity of the decision procedure for Presburger arithme...
Antoine Durand-Gasselin, Peter Habermehl
ECSA
2010
Springer
15 years 5 months ago
Industry taxonomy engineering: the case of the European software ecosystem
Presently, no methods exist that support the creation process of an industry taxonomy within a specific domain. Without such a method, taxonomies remain erroneous, making the deve...
Ivo Hunink, Rene van Erk, Slinger Jansen, Sjaak Br...