7393 search results - page 1381 / 1479 » Synthesis-for-testability using transformations |
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— Man-made real-world environments are dominated by planar surfaces many of which constitute behaviorrelevant entities. Thus, the ability to perceive planar surfaces is v...
ISMAR
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper proposes an approach to mixed environment training of manual tasks requiring concurrent use of psychomotor and cognitive skills. To train concurrent use of both skill s...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
The structure of customer communication network provides us a natural way to understand customers’ relationships. Traditional customer relationship management (CRM) methods focu...
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Most Semantic Web applications are build on top of technology based on the Semantic Web layer cake and the W3C ontology languages RDF(S) and OWL. However RDF(S) embodies ...