4911 search results - page 121 / 983 » Tree dependence analysis |
92
Voted
LREC
2010
15 years 2 months ago
2010
The Quranic Arabic Dependency Treebank (QADT) is part of the Quranic Arabic Corpus (http://corpus.quran.com), an online linguistic resource organized by the University of Leeds, a...
72
Voted
ICCAD
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper studies microprocessor floorplanning considering thermal and throughput optimization. We first develop a stochastic heat diffusion model taking into account the appl...
117
Voted
MKM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...
120
Voted
CODES
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper we present an approach to performance estimation for hard real-time systems. We consider architectures consisting of multiple processors. The scheduling policy is ba...
93
Voted
MOC
1998
15 years 13 days ago
1998
Abstract. We present here a mathematical analysis of a nonstandard difference method for the numerical solution of the time dependent GinzburgLandau models of superconductivity. Th...