2748 search results - page 453 / 550 » Generating Object-Z Specifications from Use Cases |
142
click to vote
SDM
2010
SIAM
15 years 5 months ago
2010
SIAM
Tensors naturally model many real world processes which generate multi-aspect data. Such processes appear in many different research disciplines, e.g, chemometrics, computer visio...
138
Voted
IJCAI
2001
15 years 4 months ago
2001
One of the more controversial recent planning algorithms is the SHOP algorithm, an HTN planning algorithm that plans for tasks in the same order that they are to be executed. SHOP...
135
Voted
COMCOM
2008
15 years 3 months ago
2008
Modeling peer-to-peer (P2P) networks is a challenge for P2P researchers. In this paper, we provide a detailed analysis of large-scale hybrid P2P overlay network topology, using Gn...
110
Voted
AIEDU
2006
15 years 3 months ago
2006
Constraint-based modeling has been used in many application areas of Intelligent Tutoring Systems as a powerful means to analyse erroneous student solutions and generate helpful fe...
149
Voted
TON
2008
15 years 3 months ago
2008
Abstract--As the Internet evolves into a ubiquitous communication infrastructure and supports increasingly important services, its dependability in the presence of various failures...