Sciweavers

1596 search results - page 234 / 320
» Quantum property testing
Sort
View
WG
2004
Springer
14 years 3 months ago
Recognizing HHD-free and Welsh-Powell Opposition Graphs
In this paper, we consider the recognition problem on two classes of perfectly orderable graphs, namely, the HHD-free and the Welsh-Powell opposition graphs (or WPO-graphs). In par...
Stavros D. Nikolopoulos, Leonidas Palios
ICDAR
2003
IEEE
14 years 3 months ago
Information Retrieval Based Writer Identification
This communication deals with the Writer Identification task. Our previous work has shown the interest of using the graphemes as features for describing the individual properties ...
Ameur Bensefia, Thierry Paquet, Laurent Heutte
ICRA
2003
IEEE
97views Robotics» more  ICRA 2003»
14 years 3 months ago
Wearable-based evaluation of human-robot interactions in robot path-planning
In Robotics, many path-planning algorithms have been proposed but almost all are evaluated only by their path lengths in PC. However, the evaluation is completely independent of a...
Ritsu Shikata, Takayuki Goto, Hiroshi Noborio, Hir...
KBSE
2003
IEEE
14 years 3 months ago
Model-based Verification of Web Service Compositions
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
Howard Foster, Sebastián Uchitel, Jeff Mage...
RTCSA
2003
IEEE
14 years 3 months ago
Deterministic and Statistical Deadline Guarantees for a Mixed Set of Periodic and Aperiodic Tasks
Current hard real-time technologies are unable to support a new class of applications that have real-time constraints but with dynamic request arrivals and unpredictable resource r...
Minsoo Ryu, Seongsoo Hong