203 search results - page 24 / 41 » Pushdown Module Checking |
JMM2
2006
13 years 7 months ago
2006
This paper presents an efficient, robust and fully automatic real-time system for 3D object pose tracking in image sequences. The developed application integrates two main componen...
AMAST
2010
Springer
13 years 2 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
ACSC
2007
IEEE
14 years 1 months ago
2007
IEEE
The design guideline avoid dependency cycles among modules was first alluded to by Parnas in 1978. Many tools have since been built to detect cyclic dependencies among a program...
ACL
1998
13 years 8 months ago
1998
This paper describes a grapheme-to-phoneme conversion method using phoneme connectivity and CCV conversion rules. The method consists of mainly four modules including morpheme nor...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Recent and next-generation wireless broadcasting standards, such as DVB-T2 or DVB-NGH, are considering distributed multi-antenna transmission in order to increase bandwidth effic...