695 search results - page 60 / 139 » Refactoring Feature Modules |
ATVA
2009
Springer
14 years 22 days ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...
CLA
2006
13 years 10 months ago
2006
Type signatures are common in modern linguistic theories. Their construction and maintenance is intricate, and therefore, an automatic induction method is desirable. In the present...
ACL
2001
13 years 10 months ago
2001
We present conditions under which verb phrases are elided based on a corpus of positive and negative examples. Factor that affect verb phrase ellipsis include: the distance betwee...
WSC
1997
13 years 10 months ago
1997
This paper presents a general approach to modeling VBR (variable bit rate) compressed full-motion video. The salient feature of such video is the existence of scenes. Scene struct...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
In this paper, a strategy to attenuate tremor based on co-contraction of antagonist muscles using Functional Electrical Stimulation (FES) is fully presented. Both methods to track ...