Sciweavers

1263 search results - page 85 / 253
» Packaging Mathematical Structures
Sort
View
SEDE
2007
14 years 11 months ago
An extensive math query language
Math search is a new area of research with many enabling technologies but also many challenges. Some of the enabling technologies include XML, XPath, XQuery, and MathML. Some of t...
Abdou S. Youssef, Moody Ebrahem Altamimi
100
Voted
CASC
2006
Springer
128views Mathematics» more  CASC 2006»
15 years 1 months ago
New Domains for Applied Quantifier Elimination
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
Thomas Sturm
IMAGING
2003
14 years 11 months ago
Group Theoretical Invariants in Color Image Processing
Many image formation processes are complex interactions of several sub-processes and the analysis of the resulting images requires often to separate the influence of these sub-pr...
Reiner Lenz, Linh Viet Tran, Thanh Hai Bui
106
Voted
WCE
2007
14 years 11 months ago
A Model for the Statistical Distribution of Road Vehicle Vibrations
— This paper presents the initial results of a study aimed at improving the method by which the vibrations produced by transport vehicles are characterised and simulated. More sp...
Manuel-Alfredo Garcia-Romeu-Martinez, Vincent Roui...
73
Voted
ICCAD
2006
IEEE
137views Hardware» more  ICCAD 2006»
15 years 7 months ago
Yield prediction for 3D capacitive interconnections
Capacitive interconnections are very promising structures for high-speed and low-power signaling in 3D packages. Since the performance of AC links, in terms of Band-Width and Bit-...
Alberto Fazzi, L. Magagni, Mario de Dominicis, Pao...