7890 search results - page 161 / 1578 » The MathSAT 3 System |
153
click to vote
WCE
2007
15 years 7 months ago
2007
—The dynamics of reciprocal transducer systems is modelled accounting for a nonlinear constitutive relation between the electric displacement and the electric field as reported ...
161
click to vote
ICPADS
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper, we propose a novel deadlock resolution algorithm. In the presence of global deadlocks in a multidatabase system, this algorithm always selects an optimal set of vic...
190
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
A three level software system for thermal analysis of semiconductor devices, one-chip monolith IC's, multi-chip modules (MCM) and hybrid IC's is presented. For each desig...
148
click to vote
NAACL
2007
15 years 7 months ago
2007
We use χ2 to investigate the context dependency of student affect in our computer tutoring dialogues, targeting uncertainty in student answers in 3 automatically monitorable cont...
164
click to vote
SI3D
2010
ACM
15 years 10 months ago
2010
ACM
We present a novel framework for editing geometric detail. Drawing on previous work in image- and geometry-processing, we show that the frequency-space filtering performed in mes...