1653 search results - page 112 / 331 » Directed tree-width examples |
FATES
2003
Springer
15 years 7 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
104
click to vote
GW
2003
Springer
15 years 7 months ago
2003
Springer
Many disciplines of multimedia and communication go towards ubiquitous computing and hands free- or no-touch interaction with computers. Application domains in this direction invol...
106
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Given a photo of person A, we seek a photo of person B with similar pose and expression. Solving this problem enables a form of puppetry, in which one person appears to control the...
110
click to vote
DEXAW
2002
IEEE
15 years 6 months ago
2002
IEEE
The latest ontology languages can be translated into a description logic (DL), thus providing them with a formal semantics and associated reasoning procedures. We introduce the or...
108
click to vote
ICRA
2002
IEEE
15 years 6 months ago
2002
IEEE
In the field of service robotics, robots serve and assist human beings. It is natural for humans to directly interact with the robot via tactile interfaces. This paper introduces...