Sciweavers

2661 search results - page 79 / 533
» Quantum Complexity Classes
Sort
View
109
Voted
AAAI
2010
15 years 2 months ago
Search-Based Path Planning with Homotopy Class Constraints
Goal-directed path planning is one of the basic and widely studied problems in the field of mobile robotics. Homotopy classes of trajectories, arising due to the presence of obsta...
Subhrajit Bhattacharya
110
Voted
ER
2010
Springer
132views Database» more  ER 2010»
14 years 10 months ago
Full Satisfiability of UML Class Diagrams
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
129
Voted
DAM
1999
128views more  DAM 1999»
15 years 13 days ago
Graph Classes Between Parity and Distance-hereditary Graphs
Several graph problems (e.g., steiner tree, connected domination, hamiltonian path, and isomorphism problem), which can be solved in polynomial time for distance-hereditary graphs...
Serafino Cicerone, Gabriele Di Stefano
87
Voted
MODELS
2007
Springer
15 years 7 months ago
Deriving Operation Contracts from UML Class Diagrams
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
Jordi Cabot, Cristina Gómez
110
Voted
METRICS
2003
IEEE
15 years 6 months ago
An Analogy-Based Approach for Predicting Design Stability of Java Classes
Predicting stability in object-oriented (OO) software, i.e., the ease with which a software item evolves while preserving its design, is a key feature for software maintenance. In...
David Grosser, Houari A. Sahraoui, Petko Valtchev