21319 search results - page 204 / 4264 » An Approach for Method Reengineering |
151
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...
121
click to vote
EJC
2008
15 years 5 months ago
2008
With the development of the Internet, Web services, such as Google Maps API and YouTube Data API, become more important and convenient for the Web knowledge distribution and integr...
117
Voted
ACL
2003
15 years 5 months ago
2003
We present a novel approach for finding discontinuities that outperforms previously published results on this task. Rather than using a deeper grammar formalism, our system combi...
147
click to vote
DLOG
2001
15 years 5 months ago
2001
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
107
click to vote
NIPS
2001
15 years 5 months ago
2001
This article presents a Support Vector Machine (SVM) like learning system to handle multi-label problems. Such problems are usually decomposed into many two-class problems but the...