5634 search results - page 753 / 1127 » About Abstract Classes |
208
click to vote
SPIN
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
236
click to vote
VECPAR
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Optimization problems constrained by nonlinear partial differential equations have been the focus of intense research in scientific computing lately. Current methods for...
170
click to vote
ECCV
2010
Springer
16 years 4 days ago
2010
Springer
Abstract. Naive Bayes Nearest Neighbor (NBNN) is a feature-based image classifier that achieves impressive degree of accuracy [1] by exploiting ‘Image-toClass’ distances and b...
178
click to vote
INFOCOM
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract— MPLS is becoming an important protocol for intradomain routing. MPLS routers are offered by the major vendors and many ISPs are deploying MPLS in their IP backbones, as...
168
click to vote
WCRE
2003
IEEE
16 years 2 days ago
2003
IEEE
Although the results of spreadsheet programs are the base for very important decisions and are subject to many changes, they are only poorly documented. In this paper we introduce...