844 search results - page 89 / 169 » Semantic Analysis of Matrix Structures |
146
Voted
AOSD
2009
ACM
15 years 7 months ago
2009
ACM
Most current aspect composition mechanisms rely on syntactic references to the base modules or wildcard mechanisms quantifying over such syntactic references in pointcut expressio...
143
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
145
click to vote
WACV
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents an new framework for homographybased analysis of pedestrian-vehicle activity in crowded scenes. Planar homography constraint is exploited to extract view-invar...
114
Voted
ISSRE
2000
IEEE
15 years 8 months ago
2000
IEEE
A coverage testing tool ATACOBOL (Automatic Test Analysis for COBOL) that applies data flow coverage technique is developed for software development on IBM System/390 mainframe. W...
125
Voted
IJCNLP
2005
Springer
15 years 9 months ago
2005
Springer
Japanese relative clause constructions (RCC’s) are defined as being the NP’s of structure ‘S NP’, noting the lack of a relative pronoun or any other explicit form of noun-...