3630 search results - page 181 / 726 » How to Compare Treebanks |
206
click to vote
AAECC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
215
click to vote
TIP
2008
15 years 7 months ago
2008
This paper addresses the construction of a novel efficient rotation-invariant texture retrieval method that is based on the alignment in angle of signatures obtained via a steerabl...
198
click to vote
TMI
2008
15 years 7 months ago
2008
Diffusion tensor magnetic resonance imaging (DT-MRI) permits the noninvasive assessment of tissue microstructure and, with fibre-tracking algorithms, allows for the 3-D trajectorie...
98
Voted
JISE
2007
15 years 7 months ago
2007
stems. Three layers of control abstraction for formation control are formation shape, reference type, and robotic control. Reference types play an important role in formation contr...
172
click to vote
AIEDU
2004
15 years 7 months ago
2004
The REDEEM authoring environment allows teachers to create learning environments from existing computer-based training (CBT) by imposing their pedagogical preferences about how stu...