3166 search results - page 158 / 634 » Translation By Structural Correspondences |
102
Voted
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
127
Voted
SPE
2008
15 years 1 months ago
2008
composed of various graphs linked together by relations of abstraction/refinement. The new structure is useful for representing information that can be described at t levels of abs...
SYNTHESE
2008
15 years 1 months ago
2008
Abstract. Consciousness supervenes on activity; computation supervenes on structure. Because of this, some argue, conscious states cannot supervene on computational ones. If true, ...
101
Voted
TASLP
2008
15 years 1 months ago
2008
Source separation of musical signals is an appealing but difficult problem, especially in the single-channel case. In this paper, an unsupervised single-channel music source separa...
105
Voted
TSP
2008
15 years 29 days ago
2008
Abstract--In the design of distributed quantization systems one inevitably confronts two types of constraints--those imposed by a distributed system's structure and those impo...