7890 search results - page 161 / 1578 » The MathSAT 3 System |
123
Voted
WCE
2007
15 years 6 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 ...
137
Voted
ICPADS
1996
IEEE
15 years 9 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...
166
Voted
EURODAC
1995
IEEE
15 years 8 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...
125
Voted
NAACL
2007
15 years 6 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...
144
click to vote
SI3D
2010
ACM
15 years 9 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...