1992 search results - page 275 / 399 » Model Based Testing with Labelled Transition Systems |
126
click to vote
ECCV
2008
Springer
16 years 5 months ago
2008
Springer
The sliding window approach of detecting rigid objects (such as cars) is predicated on the belief that the object can be identified from the appearance in a small region around the...
119
Voted
CHI
2010
ACM
2010
ACM
Prefab: implementing advanced behaviors using pixel-based reverse engineering of interface structure
15 years 10 months ago
Current chasms between applications implemented with different user interface toolkits make it difficult to implement and explore potentially important interaction techniques in n...
179
Voted
TVLSI
2010
14 years 10 months ago
2010
With the shrinking of technology feature sizes, the share of leakage in total power consumption of digital systems continues to grow. Traditional dynamic voltage scaling (DVS) fail...
127
Voted
ACMSE
1998
ACM
15 years 7 months ago
1998
ACM
– It is difficult to improve software quality by relying on conformance to industry standards by continuously upgrading from one standard or model to another standard or model be...
180
Voted
AAAI
2008
15 years 4 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...